2018年5月19日 ソフトウェアの信頼性を高める定理証明支援系の応用事例について オープンソースカンファレンス 2018 Nagoya 今井 敬吾 記述言語 日本語 会議種別 公開講演，セミナー，チュートリアル，講習，講義等 主催者 オープンソースカンファレンス実行委員会 開催地 名古屋市中小企業振興会館 リンク情報 URLhttps://www.ospn.jp/osc2018-nagoya/modules/eguide/event.php?eid=35
