Web services and formal methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Web Services and Formal Methods, WS-FM 2007, held in Brisbane, Australia, in September 2007 in conjunction with the 5th International Conference on Business Process Management, BPM 2007. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers address the application of formal methods and reasoning techniques to Web service technology, and formal theoriesinspired by developments in the field of Web services.

• ISBN: 978-3-540-79229-1
• Editorial: Springer
• Encuadernacion: Rústica
• Páginas: 169
• Fecha Publicación: 01/04/2008
• Nº Volúmenes: 1
• Idioma: Inglés