Research software from the integrated Formal Methods (iFM) conference 2023
Herber P; Osama M; Wijs A
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Science of Computer Programming (Sci. Comput. Programming)
Jahrgang / Bandnr. / Volume: 248
Seitenbereich: 103384-103384
Status: Veröffentlicht
Veröffentlichungsjahr: 2026
Sprache, in der die Publikation verfasst ist: Englisch
Link zum Volltext: https://www.sciencedirect.com/science/article/pii/S0167642325001236
Stichwörter: Research Software; Formal Methods
Autor*innen der Universität Münster
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |