Web Services and Formal Methods (9th International Workshop, WS-FM 2012): Revised Selected Papers

Maurice H. ter Beek , Niels Lohmann