Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
de Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
Ediciones (1)
- Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops (2023)
Springer International Publishing AG · inglés · ISBN 9783031262357