@techreport{weko_195089_1,
   author	 = "多門,俊哉 and 磯部,祥尚 and 枝廣,正人",
   title	 = "モデルベース並列化アルゴリズムの形式化と正当性の証明",
   year 	 = "2019",
   institution	 = "名古屋大学大学院情報学研究科, 産業技術総合研究所, 名古屋大学大学院情報学研究科",
   number	 = "9",
   month	 = "mar"
}