@article{weko_199552_1,
   author	 = "藤井,采人 and 石井,大輔",
   title	 = "証明支援系Coqを用いた有界モデル検査アルゴリズムの検証",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2019",
   volume	 = "12",
   number	 = "3",
   pages	 = "1--1",
   month	 = "sep"
}