Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010, Revised Selected Papers / - Bravetti, Mario.; Bultan, Tevfik. (Springer, 2011)