Arie Gurfinkel, Marsha Chechik
Proof-Like Counter-Examples
TACAS, 2003.
@inproceedings{TACAS-2003-GurfinkelC, author = "Arie Gurfinkel and Marsha Chechik", booktitle = "{Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-36577-X_12", isbn = "3-540-00898-5", pages = "160--175", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proof-Like Counter-Examples}", volume = 2619, year = 2003, }