『実践TLA+』
実践TLA+(Hillel Wayne 株式会社クイープ 株式会社クイープ)|翔泳社の本
実践TLA+【PDF版】 | SEshop.com | 翔泳社の通販
#形式手法
#TLA+
#文献