Cogent: Accurate theorem proving for program verification
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Book Title
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
Year
2005