Research software from the integrated Formal Methods (iFM) conference 2023
Herber P; Osama M; Wijs A
Research article (journal) | Peer reviewedDetails about the publication
Journal: Science of Computer Programming (Sci. Comput. Programming)
Volume: 248
Page range: 103384-103384
Status: Published
Release year: 2026
Language in which the publication is written: English
Link to the full text: https://www.sciencedirect.com/science/article/pii/S0167642325001236
Keywords: Research Software; Formal Methods
Authors from the University of Münster
| Herber, Paula |