@techreport{weko_33887_1, author = "宇佐美,雅紀 and 藤倉,俊幸", title = "アセンブラのモデル検査におけるモデルの自動生成について", year = "2007", institution = "イーソル株式会社リサーチ&コンサルテーションサービス部, イーソル株式会社リサーチ&コンサルテーションサービス部", number = "52(2007-EMB-005)", month = "may" }