h1

h2

h3

h4

h5
h6
%0 Conference Proceedings
%Y Chechik, Marsha
%Y Katoen, Joost-Pieter
%Y Leucker, Martin
%T Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings
%V 14000
%C Cham, Switzerland
%I Springer
%M RWTH-2024-07243
%@ 978-3-031-27480-0
%B Lecture notes in computer science
%P xvi, 659 Seiten : Diagramme
%D 2023
%B 25. International 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)26 ; PUB:(DE-HGF)3
%9 ProceedingsBook
%R 10.1007/978-3-031-27481-7
%U https://publications.rwth-aachen.de/record/990325