Publications

Found 1 results
Filters: Author is Reiner Hähnle  [Clear All Filters]
2018
D. Steinhöfel and Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.