Dec, 2018 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証 第16回ディペンダブルシステムワークショップ 藤井 采人, 石井 大輔 (poster) Export BibTeX RIS