Trustworthy tools for trustworthy programs: A veri ed veri cation condition generator (0)

by P V Homeier, D F Martin
Venue:Higher Order Logic Theorem Proving and its Applications, volume 859 of Lect