Introduction to the Special Collection from iFM 2023
Herber P; Wijs A
Forschungsartikel (Zeitschrift) | Peer reviewedZusammenfassung
This special collection arose from the 18th International Conference on integrated Formal Methods (iFM 2023), which was held in Leiden, The Netherlands from 13 to 15 November 2023.
Details zur Publikation
Fachzeitschrift: Formal Aspects of Computing
Jahrgang / Bandnr. / Volume: 37
Ausgabe / Heftnr. / Issue: 4
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Sprache, in der die Publikation verfasst ist: Englisch
DOI: 10.1145/3765650
Link zum Volltext: https://doi.org/10.1145/3765650
Stichwörter: Integrated formal methods, theorem proving, static analysis, synthesis
Autor*innen der Universität Münster
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |