"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-032-10794-7","Integrated Formal Methods","20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings","Ferruccio Damiani; Marie Farrell",2026,"1","https://doi.org/10.1007/978-3-032-10794-7",130,""