Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bravetti, Mario (Editor), Bultan, Tevfik (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Series: Lecture Notes in Computer Science, 6551
• Subjects: Computer science.; Software engineering.; Information storage and retrieval.; User interfaces (Computer systems).; Management information systems.; Computer Science.; Information Systems Applications (incl. Internet).; Software Engineering.; Management of Computing and Information Systems.; Information Storage and Retrieval.; User Interfaces and Human Computer Interaction.

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 sele...