MISC

2017年9月18日

Why3を用いた区間演算ライブラリの検証

日本ソフトウェア科学会大会論文集

薮智仁
石井大輔

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

リンク情報

CiNii Articles: http://ci.nii.ac.jp/naid/40021462408

エクスポート: BibTeX RIS

MISCリストへ