@inproceedings{cks2006-cogent,
  title = "Accurate Theorem Proving for Program Verification",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2006",
  booktitle = "Proceedings of ISoLA 2004",
  pages = "96--114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4313",
}