Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bruni, Roberto (Editor), Wolf, Karsten (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5387
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computers.; Computer logic.; Computer engineering.; Computer Science.; Computer Engineering.; Computer Communication Networks.; Theory of Computation.; Information Systems Applications (incl. Internet).; Software Engineering.; Logics and Meanings of Programs.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revi...