@techreport{weko_142721_1, author = "山本,椋太 and 山本,修一郎", title = "Atelier-Bによる形式検証手法の試行評価", year = "2015", institution = "名古屋大学大学院情報科学研究科, 名古屋大学情報連携統括本部", number = "22", month = "jul" }