@inproceedings{BT07,
  author    = "Clark Barrett and Cesare Tinelli",
  title     = "{CVC3}",
  booktitle = "Proceedings of the $19^{th}$ International Conference on Computer Aided Verification (CAV '07)",
  series    = "Lecture Notes in Computer Science",
  volume    = 4590,
  publisher = "Springer-Verlag",
  editor    = "Werner Damm and Holger Hermanns",
  pages     = "298--302",
  month     = jul,
  year      = 2007,
  note      = "Berlin, Germany"
}