@inproceedings{cks2005,
  title = "Cogent: Accurate theorem proving for program verification",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2005",
  booktitle = "Proceedings of CAV 2005",
  editor = "Etessami, Kousha and Rajamani, Sriram K.",
  isbn = "3-540-27231-3",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3576",
}