@techreport{weko_217208_1,
   author	 = "岩田,駿 and 磯部,祥尚 and 枝廣,正人",
   title	 = "モデルベース並列化アルゴリズムの定理証明器による形式検証",
   year 	 = "2022",
   institution	 = "名古屋大学大学院情報学研究科, 産業技術総合研究所, 名古屋大学大学院情報学研究科",
   number	 = "54",
   month	 = "mar"
}