This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communi
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held i
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth Intern
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held i