“Exploring and Categorizing Error Spaces using BMC and SMT” by Tim King and Clark Barrett. In Proceedings of the 9^th International Workshop on Satisfiability Modulo Theories (SMT '11), July 2011. Snowbird, Utah.
BibTeX entry:
@inproceedings{KB11,
author = {Tim King and Clark Barrett},
title = {Exploring and Categorizing Error Spaces using {BMC} and {SMT}},
booktitle = {Proceedings of the {\it 9^{th}} International Workshop on
Satisfiability Modulo Theories (SMT '11)},
month = jul,
year = {2011},
note = {Snowbird, Utah},
url = {http://theory.stanford.edu/~barrett/pubs/KB11.pdf}
}
(This webpage was created with bibtex2web.)