Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Paolo Masci, Pierluigi Graziani, Mario Koddenbrock, Cinzia Bernardeschi, Maurizio Palmieri
Details
- OL Work ID
- OL34032007W