Ｂメソッドによる形式仕様記述

ソフトウェアシステムのモデル化とその検証　 トップエスイー実践講座