Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., & Palmieri, M. (2023). Software engineering and formal methods: SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 : revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Masci, Paolo, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, und Maurizio Palmieri. Software Engineering and Formal Methods: SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 : Revised Selected Papers. Cham: Springer, 2023.
MLA-Zitierstil (9. Ausg.)Masci, Paolo, et al. Software Engineering and Formal Methods: SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 : Revised Selected Papers. Springer, 2023.