Accurate Theorem Proving for Program Verification
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Book Title
Proceedings of ISoLA 2004
Pages
96–114
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4313
Year
2006
Byron Cook‚ Daniel Kroening and Natasha Sharygina