@inproceedings{weko_104252_1, author = "山本達也 and 高山浩一郎", title = "形式的手法を用いた論理設計検証網羅性解析に関する一方式", booktitle = "第76回全国大会講演論文集", year = "2014", volume = "2014", number = "1", pages = "17--18", month = "mar" }