@techreport{weko_21287_1,
   author	 = "岸,知二 and 青木,利晃 and 中島,震 and 野田,夏子 and 片山,卓也",
   title	 = "プロジェクト紹介：高信頼組込み用オブジェクト指向設計技術",
   year 	 = "2004",
   institution	 = "北陸先端科学技術大学院大学大学, 北陸先端科学技術大学院大学大学, 国立情報学研究所, NEC, 北陸先端科学技術大学院大学大学",
   number	 = "118(2004-SE-146)",
   month	 = "nov"
}