“CVC: A Cooperating Validity Checker” by Aaron Stump, Clark W. Barrett, and David L. Dill. In Proceedings of the 14^th International Conference on Computer Aided Verification (CAV '02), (Ed Brinksma and Kim Guldstrand Larsen, eds.), July 2002, pp. 500-504. Copenhagen, Denmark.
BibTeX entry:
@inproceedings{SBD02, author = {Aaron Stump and Clark W. Barrett and David L. Dill}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {{CVC}: A Cooperating Validity Checker}, booktitle = {Proceedings of the {\it 14^{th}} International Conference on Computer Aided Verification (CAV '02)}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {500--504}, publisher = {Springer-Verlag}, month = jul, year = {2002}, note = {Copenhagen, Denmark}, url = {http://theory.stanford.edu/~barrett/pubs/SBD02.pdf} }
(This webpage was created with bibtex2web.)