@techreport{weko_158002_1, author = "須藤,一輝 and 小野,康一 and 深澤,良彰", title = "モデル変換によるドメイン固有性質の形式検証に関する研究", year = "2016", institution = "早稲田大学, 日本アイ・ビーエム株式会社東京基礎研究所, 早稲田大学", number = "20", month = "mar" }