Author

Alessio Bucaioni

1 book found

Cover of Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani · First published 2022