@inproceedings{weko_122786_1, author = "鳥山,朋二 and 小倉,武", title = "構造化分析手法を用いた仕様記述の検証法", booktitle = "全国大会講演論文集", year = "1992", volume = "第45回", number = "ハードウェア", pages = "35--36", month = "sep" }