"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-71294-4","Logic-Based Program Synthesis and Transformation","34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings","Juliana Bowles; Harald Søndergaard",2024,"1","https://doi.org/10.1007/978-3-031-71294-4",130,""