2018年12月 Why3 を用いた区間演算プログラムの検証 第16回ディペンダブルシステムワークショップ 藪 智仁, 石井 大輔 (poster, 優秀ポスター発表賞) エクスポート BibTeX RIS
