Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, Springer, 2023. [doi]
Conference: SEFM2023
@proceedings{sefm-2022w,
title = {Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers},
year = {2023},
doi = {10.1007/978-3-031-26236-4},
url = {https://doi.org/10.1007/978-3-031-26236-4},
researchr = {https://researchr.org/publication/sefm-2022w},
cites = {0},
citedby = {0},
booktitle = {Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers},
conference = {SEFM},
editor = {Paolo Masci 0001 and Cinzia Bernardeschi and Pierluigi Graziani and Mario Koddenbrock and Maurizio Palmieri},
volume = {13765},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-26236-4},
}