Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
de Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani
Ediciones (1)
- Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (2022)
Springer International Publishing AG · inglés · ISBN 9783031124280
