査読有り 2014年12月 ProBを用いたVDMの陰仕様の解釈実行の試み ソフトウェア工学の基礎XXI 石川洋 開始ページ 171 終了ページ 176 記述言語 日本語 掲載種別 研究論文（研究会，シンポジウム資料等） エクスポート BibTeX RIS
