講演・口頭発表等

2018年5月19日

ソフトウェアの信頼性を高める定理証明支援系の応用事例について

オープンソースカンファレンス 2018 Nagoya
  • 今井 敬吾

記述言語
日本語
会議種別
公開講演,セミナー,チュートリアル,講習,講義等
主催者
オープンソースカンファレンス実行委員会
開催地
名古屋市中小企業振興会館

リンク情報
URL
https://www.ospn.jp/osc2018-nagoya/modules/eguide/event.php?eid=35