"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-17108-6","Software Engineering and Formal Methods","20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings","Bernd-Holger Schlingloff; Ming Chai",2022,"1","https://doi.org/10.1007/978-3-031-17108-6",130,""