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