Software Engineering and Formal Methods. SEFM 2022 Collocated WorkshopsPaolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri · First published 2023Open the Tome