Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani