@techreport{weko_191728_1,
   author	 = "中村,正樹 and 榊原,一紀",
   title	 = "代数仕様を用いた数理計画モデルの形式的検証について",
   year 	 = "2018",
   institution	 = "富山県立大学, 富山県立大学",
   number	 = "23",
   month	 = "nov"
}