Introduction to the Special Collection from iFM 2023
Herber P; Wijs A
Research article (journal) | Peer reviewedAbstract
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 about the publication
Journal: Formal Aspects of Computing
Volume: 37
Issue: 4
Status: Published
Release year: 2025
Language in which the publication is written: English
DOI: 10.1145/3765650
Link to the full text: https://doi.org/10.1145/3765650
Keywords: Integrated formal methods, theorem proving, static analysis, synthesis
Authors from the University of Münster
| Herber, Paula | Professorship for practical comuter science |