Modular, Correct Compilation with Automatic Soundness Proofs

Dominic Steinhöfel, Reiner Hähnle
January, 2018
PDF Cite DOI
Type
Conference paper
Publication
Proc. 8th Intern. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)