CVC3

CVC3” by Clark Barrett and Cesare Tinelli. In Proceedings of the 19^th International Conference on Computer Aided Verification (CAV '07), (Werner Damm and Holger Hermanns, eds.), July 2007, pp. 298-302. Berlin, Germany.

BibTeX entry:

@inproceedings{BT07,
   author = {Clark Barrett and Cesare Tinelli},
   editor = {Werner Damm and Holger Hermanns},
   title = {{CVC3}},
   booktitle = {Proceedings of the {\it 19^{th}} International Conference
	on Computer Aided Verification (CAV '07)},
   series = {Lecture Notes in Computer Science},
   volume = {4590},
   pages = {298--302},
   publisher = {Springer-Verlag},
   month = jul,
   year = {2007},
   note = {Berlin, Germany},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BT07.pdf}
}

(This webpage was created with bibtex2web.)