MISC

2017年9月18日

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

日本ソフトウェア科学会大会論文集
  • 薮 智仁
  • ,
  • 石井 大輔

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

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