@techreport{weko_99436_1, author = "大森洋一 and 日下部茂 and 林信宏 and 荒木啓二郎", title = "ディペンダブルケースを中間表現としたフォーマルな仕様記述手法", year = "2014", institution = "九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院", number = "26", month = "mar" }