TY  - BOOK
AU  - Bravetti,Mario
AU  - Bultan,Tevfik
ED  - SpringerLink (Online service)
TI  - Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642195891
AV  - QA76.76.A65 
U1  - 005.7 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information storage and retrieval systems
KW  - Information 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-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing;  cloud computing; formal methods; verification specification; testing; and business process management
UR  - http://dx.doi.org/10.1007/978-3-642-19589-1
ER  -