@techreport{weko_70837_1, author = "園田,貴大 and 大森,洋一 and 日下部,茂 and 荒木,啓二郎", title = "ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察", year = "2010", institution = "九州大学, 九州大学, 九州大学, 九州大学", number = "7", month = "nov" }