"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-33612-1","Web Services, Formal Methods, and Behavioral Types","11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers","Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich",2016,"1","https://doi.org/10.1007/978-3-319-33612-1",80,""