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