@inproceedings{weko_123779_1, author = "森嶋,厚行 and 栖原,哲也 and 藤原,譲 and 宇都宮,公訓", title = "状態機械を用いた分析設計を支援するシステムについて", booktitle = "全国大会講演論文集", year = "1993", volume = "第46回", number = "ソフトウェア工学", pages = "291--292", month = "mar" }