Paolo Masci

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Dependable Computing - EDCC 2020 Workshops