Trustworthy tools for trustworthy programs: A verified verification condition generator (1994)

by P V Homeier, D F Martin
Venue:In LNCS: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop