Paolo Masci · Cinzia Bernardeschi ·
Pierluigi Graziani · Mario Koddenbrock ·
Maurizio Palmieri (Eds.)
LNCS 13765
Software Engineering
and Formal Methods
SEFM 2022 Collocated Workshops
AI4EA, F-IDE, CoSim-CPS, CIFMA
Berlin, Germany, September 26–30, 2022
Revised Selected Papers