"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-47705-8","Integrated Formal Methods","18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings","Paula Herber; Anton Wijs",2024,"1","https://doi.org/10.1007/978-3-031-47705-8",220,""