TY  - BOOK
AU  - Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
TI  - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
SN  - 9783031124297
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-12429-7
ER  -