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