Web Services and Formal Methods - Bravetti, Mario; Bultan, Tevfik; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2011)