SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

萩谷昌己, 吉岡信和, 青木利晃, 田原康之, 本位田真一

出版社

近代科学社

発売日

2008-09-01

ISBN

9784764903548