Modular, Correct Compilation with Automatic Soundness Proofs

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