Compiler support for correctness proofs (1997)

by Klaus Didrich
Venue:In Automated Theorem Proving in Software Engineering (CADE-14 workshop