Autili, Marco books & textbook
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science)
Cerone, Antonio Autili, Marco Bucaioni, Alessio Gomes, Cláudio Graziani, Pierluigi Palmieri, Maurizio Temperini, Marco Venture, Gentiane
Springer /2022-09-25 Paperback / 364 Pages
isbn-10: 3031124286 / isbn-13: 9783031124280