2017年9月18日
Why3を用いた区間演算ライブラリの検証
日本ソフトウェア科学会大会論文集
- ,
- 巻
- 34
- 号
- 開始ページ
- 405
- 終了ページ
- 414
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 日本ソフトウェア科学会
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/40021462408
- ID情報
-
- ISSN : 0913-5391
- CiNii Articles ID : 40021462408
- identifiers.cinii_nr_id : 9000382644388