Byron Cook, Daniel Kroening, Natasha Sharygina. Accurate Theorem Proving for Program Verification. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Volume 4313 of Lecture Notes in Computer Science, pages 96-114, Springer, 2004. [doi]
Abstract is missing.