@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",
}