Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

MLA

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. Cham: Springer International Publishing AG, 2023.

APA

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. Cham: Springer International Publishing AG.

Chicago

Masci, Paolo., Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, and 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 International Publishing AG, 2023.