Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Graziani, Pierluigi; Gomes, Claudio; Cerone, Antonio; Bucaioni, Alessio; Venture, Gentiane; Temperini, Marco; Palmieri, Maurizio; Autili, Marco
Springer International Publishing AG
09/2022
350
Mole
Inglês
9783031124280
15 a 20 dias
551