"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-88194-0","Formal Methods and Software Engineering","10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings","Shaoying Liu; Tom Maibaum; Keijiro Araki",2008,"1","https://doi.org/10.1007/978-3-540-88194-0",100,""