MISC

2018年12月

証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証

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

(poster)