"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-86695-1","Verified Software. Theories, Tools and Experiments","16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers","Jonathan Protzenko; Azalea Raad",2025,"1","https://doi.org/10.1007/978-3-031-86695-1",100,""