@inproceedings{weko_136955_1, author = "和田,悟 and 飯塚,之通 and 紫合,治", title = "状態遷移表の設計支援ツール", booktitle = "全国大会講演論文集", year = "2008", volume = "第70回", number = "ソフトウェア科学・工学", pages = "311--312 ", month = "mar" }