@techreport{weko_21102_1,
   author	 = "寺中慎介 and 村上,祥平 and 小飼敬 and 上田,賀一",
   title	 = "形式手法 Alloy を用いた図式モデルのための段階的検証方法",
   year 	 = "2008",
   institution	 = "茨城大学大学院理工学研究科, 茨城大学工学部, 茨城工業高等専門学校, 茨城大学工学部",
   number	 = "29(2008-SE-159)",
   month	 = "mar"
}