"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-981-95-4213-0","Formal Methods and Software Engineering","26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings","Étienne André; Jingyi Wang; Naijun Zhan",2026,"1","https://doi.org/10.1007/978-981-95-4213-0",146,""