@techreport{weko_62659_1,
   author	 = "矢竹,健朗",
   title	 = "データ管理領域におけるプログラム検証の自動化に関する考察",
   year 	 = "2009",
   institution	 = "北陸先端科学技術大学院大学",
   number	 = "8",
   month	 = "jun"
}