MISC

2018年12月

Why3 を用いた区間演算プログラムの検証

第16回ディペンダブルシステムワークショップ
  • 藪 智仁
  • ,
  • 石井 大輔

(poster, 優秀ポスター発表賞)