講演・口頭発表等

2011年11月

対話的定理証明支援系によるミドルウェア検証

第9回クリティカルソフトウェアワークショップ (WOCS9)
  • 今井 敬吾
  • ,
  • 今井 宜洋
  • ,
  • 小笠原 啓

記述言語
日本語
会議種別
口頭発表(一般)
開催地
パシフィコ横浜

リンク情報
URL
http://www.ipa.go.jp/files/000005293.pdf