guest ::
TY - JOUR AU - Chechik, Marsha AU - Katoen, Joost-Pieter TI - Introduction to the Special Collection from FM 2023 JO - Formal aspects of computing VL - 37 IS - 1 SN - 1433-299X CY - London PB - Springer M1 - RWTH-2025-02075 SP - 1-2 PY - 2025 T2 - 5. 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)16 UR - <Go to ISI:>//WOS:001460070800004 DO - DOI:10.1145/3709600 UR - https://publications.rwth-aachen.de/record/1005881 ER -