You are about to access our book library "Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7176) full version" .