講演・口頭発表等

2011年11月

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

第9回クリティカルソフトウェアワークショップ (WOCS9)
  • 今井 敬吾
    • ,
  • 今井 宜洋
    • ,
  • 小笠原 啓
記述言語
日本語
会議種別
口頭発表（一般）
開催地
パシフィコ横浜
リンク情報
URL
http://www.ipa.go.jp/files/000005293.pdf
講演・口頭発表等リストへ