TY  - BOOK
AU  - Carbone,Marco
AU  - Petit,Jean-Marc
TI  - Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers 
SN  - 9783642298349
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information Storage and Retrieval
KW  - User interfaces (Computer systems)
KW  - Management information systems
UR  - http://dx.doi.org/10.1007/978-3-642-29834-9
ER  -