Download or read book Formal Methods for Web Services written by Marco Bernardo and published by Springer Science & Business Media. This book was released on 2009-05-12 with total page 347 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.