"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-642-29834-9","Web Services and Formal Methods","8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers","Marco Carbone; Jean-Marc Petit",2012,"1","https://doi.org/10.1007/978-3-642-29834-9",100,""