"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-12429-7","Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops","CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers","Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Gentiane Venture",2022,"1","https://doi.org/10.1007/978-3-031-12429-7",100,""