@techreport{weko_21072_1,
   author	 = "岸,知二 and 高橋,弘 and 徳田,寛和",
   title	 = "モデル検査技術を活用したソフトウェア設計・検証手法に関する考察",
   year 	 = "2008",
   institution	 = "北陸先端科学技術大学院大学大学情報科学研究科, 富士電機アドバンストテクノロジー（株）, 富士電機アドバンストテクノロジー（株）",
   number	 = "55(2008-SE-160)",
   month	 = "jun"
}