18th International Conference on integrated Formal Methods, {iFM} 2023
Herber, Paula; Wijs, Anton
KonferenzbandDetails zur Publikation
Verlag: Springer
Erscheinungsort: Leiden
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2024
Konferenz: International Conference on integrated Formal Methods (iFM 2023), Leiden, Niederlande (Königreich der)
Stichwörter: Formal Methods
Herausgeber*innen der Universität Münster
| Herber, Paula |