@inproceedings{weko_119724_1, author = "蒋,洪海 and 山本,保 and 林,喜弘 and 冨田,昌宏", title = "論理設計誤りの自動修正手法(1) : 誤り追跡入力の生成法と性質", booktitle = "全国大会講演論文集", year = "1990", volume = "第41回", number = "ハードウェア", pages = "31--32", month = "sep" }