2017年9月18日
証明支援系Coqを用いた有界モデル検査
日本ソフトウェア科学会大会論文集
- ,
- 巻
- 34
- 号
- 開始ページ
- 135
- 終了ページ
- 140
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 日本ソフトウェア科学会
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/40021461930
- ID情報
-
- ISSN : 0913-5391
- CiNii Articles ID : 40021461930
- identifiers.cinii_nr_id : 9000382643525