University of Münster
CRIS@UM
DE | EN

Research software from the integrated Formal Methods (iFM) conference 2023

Herber P; Osama M; Wijs A

Research article (journal) | Peer reviewed

Details 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
DOI: 10.1016/j.scico.2025.103384
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
Professorship for practical comuter science