@inproceedings{weko_115367_1, author = "織田,巌 and 加藤,千絵 and 高野,佳子 and 松沢,直子", title = "原因-結果グラフ技法を用いたレビュー支援ツール : SVA : Software Verification Aids", booktitle = "全国大会講演論文集", year = "1988", volume = "第37回", number = "ソフトウェア工学", pages = "736--737", month = "sep" }