Preface for the Formal Methods in System Design special issue on ‘FASE 2022’

Einar Broch Johnsen, Manuel Wimmer
March, 2024
DOI
Type
Journal special issue
Publication
Formal Methods in System Design, 2024
Einar Broch Johnsen
Einar Broch Johnsen
Professor