A Machine Checked Soundness Proof for an Intermediate Verification Language.

Frdric Vogels, Bart Jacobs, Frank Piessens

Browse the full SOFSEM paper archive.