@inproceedings{weko_183290_1, author = "越智,小百合 and 山崎,紘史 and 細川,利典 and 吉村,正義", title = "ドントケアを用いたキャプチャセーフテスト集合の静的テスト圧縮法", booktitle = "DAシンポジウム2017論文集", year = "2017", volume = "2017", number = "", pages = "228--233", month = "aug" }