MISC

2017年9月18日

証明支援系Coqを用いた有界モデル検査

日本ソフトウェア科学会大会論文集
  • 藤井 采人
  • ,
  • 石井 大輔

34
開始ページ
135
終了ページ
140
記述言語
日本語
掲載種別
出版者・発行元
日本ソフトウェア科学会

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/40021461930
CiNii Resolver ID
http://ci.nii.ac.jp/nrid/9000382643525