@techreport{weko_33886_1,
   author	 = "平野,清美 and 宇佐美,雅紀 and 藤倉,俊幸",
   title	 = "モデル検査への事前条件・事後条件検証の導入",
   year 	 = "2007",
   institution	 = "イーソル株式会社リサーチ＆コンサルテーションサービス部, イーソル株式会社リサーチ＆コンサルテーションサービス部, イーソル株式会社リサーチ＆コンサルテーションサービス部",
   number	 = "52(2007-EMB-005)",
   month	 = "may"
}