"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-032-00942-5","Formal Methods for Industrial Critical Systems","30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings","Anne Remke; Bernhard Steffen",2026,"1","https://doi.org/10.1007/978-3-032-00942-5",114,""