Cogent: Accurate theorem proving for program verification (2005)

by Byron Cook , Daniel Kroening , Natasha Sharygina
Venue:Proceedings of CAV 2005, volume 3576 of Lecture Notes in Computer Science
Citations:35 - 10 self