Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - Springer Springer 2022

9783031124297

EBOOK