Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beek, Maurice H. ter (Editor), Lohmann, Niels (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7843
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; User interfaces (Computer systems).; Management information systems.; Computer Science.; Information Systems Applications (incl. Internet).; Software Engineering.; Management of Computing and Information Systems.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; User Interfaces and Human Computer Interaction.

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects s...