h1

h2

h3

h4

h5
h6
TY  - CONF
A3  - Chechik, Marsha
A3  - Katoen, Joost-Pieter
A3  - Leucker, Martin
TI  - Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings
VL  - 14000
CY  - Cham, Switzerland
PB  - Springer
M1  - RWTH-2024-07243
SN  - 978-3-031-27480-0
T2  - Lecture notes in computer science
SP  - xvi, 659 Seiten : Diagramme
PY  - 2023
T2  - 25. International Symposium on Formal Methods
CY  - 6 Mar 2023 - 10 Mar 2023, Lübeck (Germany)
Y2  - 6 Mar 2023 - 10 Mar 2023
M2  - Lübeck, Germany
LB  - PUB:(DE-HGF)26 ; PUB:(DE-HGF)3
DO  - DOI:10.1007/978-3-031-27481-7
UR  - https://publications.rwth-aachen.de/record/990325
ER  -