"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-68690-5","Formal Methods and Software Engineering","19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings","Zhenhua Duan; Luke Ong",2017,"1","https://doi.org/10.1007/978-3-319-68690-5",100,""