Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops by Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri.
Published by Springer International Publishing AG, (2023), Paperback, 420 pages.