by Kenneth L. McMillan
Reference:
Proofs, Interpolants, and Relevance Heuristics (Kenneth L. McMillan), In Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, 2008.
Bibtex Entry:
@inproceedings{DBLP:conf/hvc/McMillan08,
author = {Kenneth L. McMillan},
title = {Proofs, Interpolants, and Relevance Heuristics},
booktitle = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
pages = {3},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01702-5\_3},
doi = {10.1007/978-3-642-01702-5\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/hvc/McMillan08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}