@techreport{weko_21714_1,
   author	 = "石田,至 and 青木,利晃 and 片山,卓也",
   title	 = "オブジェクト指向方法論のための形式的モデルの検証",
   year 	 = "1998",
   institution	 = "北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学",
   number	 = "20(1997-SE-118)",
   month	 = "mar"
}