Modular, Correct Compilation with Automatic Soundness Proofs

  • Veröffentlicht am: 1 August, 2018 - 15:54
TitelModular, Correct Compilation with Automatic Soundness Proofs
Publication TypeKonferenzartikel (erschienen)
Year of Publication2018
AuthorsSteinhöfel, D, Hähnle, R
Conference NameProceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Pagination424-447
PublisherSpringer
DOI10.1007/978-3-030-03418-4_25
Undefined