Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman. Formal Methods for Industrial Critical Systems. STTT, 26(2):127-129, April 2024. [doi]

Abstract

Abstract is missing.