h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Chechik, Marsha
%A Katoen, Joost-Pieter
%T Introduction to the Special Collection from FM 2023
%J Formal aspects of computing
%V 37
%N 1
%@ 1433-299X
%C London
%I Springer
%M RWTH-2025-02075
%P 1-2
%D 2025
%B 5. Symposium on Formal Methods
%C 6 Mar 2023 - 10 Mar 2023, Lübeck (Germany)
Y2 6 Mar 2023 - 10 Mar 2023
M2 Lübeck, Germany
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001460070800004
%R 10.1145/3709600
%U https://publications.rwth-aachen.de/record/1005881