"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-73210-5","Integrated Formal Methods","6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings","Jim Davies; Jeremy Gibbons",2007,"1","https://doi.org/10.1007/978-3-540-73210-5",180,""