Roberto Bruni Karsten Wolf Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers 5387 2009 http://dx.doi.org/10.1007/978-3-642-01364-5 978-3-642-01363-8 WS-FM Lecture Notes in Computer Science Springer db/conf/wsfm/wsfm2008.html