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
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - Springer Springer 2022
9783031124297
EBOOK
