@techreport{weko_21055_1,
   author	 = "金井,勇人 and 岸,知二",
   title	 = "モデル検査のためのアスペクト指向メカニズム切り替え手法の提案",
   year 	 = "2008",
   institution	 = "北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学",
   number	 = "93(2008-SE-161)",
   month	 = "sep"
}