Web services and formal methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / - Carbone, Marco.; Petit, Jean-Marc. (Springer, 2012)