Sciweavers

SOFSEM
2009
Springer

A Machine Checked Soundness Proof for an Intermediate Verification Language

14 years 15 days ago
A Machine Checked Soundness Proof for an Intermediate Verification Language
Frédéric Vogels, Bart Jacobs 0002, F
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where SOFSEM
Authors Frédéric Vogels, Bart Jacobs 0002, Frank Piessens
Comments (0)