@techreport{weko_145824_1,
   author	 = "山根,智",
   title	 = "分散アルゴリズムの実行列からプログラム合成とそのプログラム検証",
   year 	 = "2015",
   institution	 = "金沢大学理工研究域",
   number	 = "7",
   month	 = "nov"
}