Compiler Support for Correctness Proofs (1997)

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