"Information Systems Applications." . . "Software Engineering." . . "Software engineering." . "Systèmes d'information." . . "International Workshop on Web Services and Formal Methods." . . . "Formale Methode" . . "Information Systems Applications (incl. Internet)" . . "Information Systems Applications (incl. Internet)." . "Serviceorientierte Architektur" . . "International Workshop on Web Services and Formal Methods, WS-FM (8 : 01-09-2011 - 02-09-2011 : Clermont-Ferrand, France)" . . . "Formal methods (Computer science) Congresses." . . "Service Web." . . "Dienstekomposition" . . "Web services." . . "Web Services" . "WS-FM 8 2011 Clermont-Ferrand" . . . "Information Systems." . . "User Interfaces and Human Computer Interaction." . . "Cloud Computing" . . "Méthode formelle." . . "Formal methods (Computer science)" . . "Informatique." . . "WS-FM (Workshop) (8th : 2011 : Clermont-Ferrand, France)" . . . "Génie logiciel." . . "Information storage and retrieval systems." . . "Prozessmanagement" . . "Management of Computing and Information Systems." . . . . . . . "This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods." . . "Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers" . . . "Conference proceedings" . . . . . . . . . . . . . . "Web services and formal methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers" . . . "Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers"@en . . . . . "Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers"@en . "Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers" . . . "Annotation. This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods." . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . "WS-FM 2011" . "WS-FM 2011"@en . . . . . . . "Web services and formal methods 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers" . . "Ressources Internet" . . . . . . . . . . . "Electronic books" . . "Kongress" . . "Computer Science." . . "Computer science." . "Web services Congresses." . . . . "Information Storage and Retrieval." . .