University of Münster
CRIS@UM
DE | EN

18th International Conference on integrated Formal Methods, {iFM} 2023

Herber, Paula; Wijs, Anton

Conference proceedings

Details about the publication

Publishing company: Springer
Place of publication: Leiden
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2024
Conference: International Conference on integrated Formal Methods (iFM 2023), Leiden, Netherlands (Kingdom of the)
DOI: 10.1007/978-3-031-47705-8
Keywords: Formal Methods

Editors from the University of Münster

Herber, Paula
Professorship for practical comuter science