Modular, Correct Compilation with Automatic Soundness Proofs
Title | Modular, Correct Compilation with Automatic Soundness Proofs |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2018 |
Authors | Steinhöfel, D, Hähnle, R |
Conference Name | Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Pagination | 424-447 |
Publisher | Springer |
DOI | 10.1007/978-3-030-03418-4_25 |
Undefined