"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-66021-4","Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops","CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers","Alessandro Aldini",2024,"1","https://doi.org/10.1007/978-3-031-66021-4",80,""