TY  - BOOK
AU  - Carbone,Marco
AU  - Petit,Jean-Marc
ED  - SpringerLink (Online service)
TI  - Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642298349
AV  - QA76.76.A65 
U1  - 005.7 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information storage and retrieval systems
KW  - Information Systems
KW  - Computer Science
KW  - Information Systems Applications (incl. Internet)
KW  - Software Engineering
KW  - Management of Computing and Information Systems
KW  - Information Storage and Retrieval
KW  - User Interfaces and Human Computer Interaction
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-29834-9
ER  -