Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers - Beek, Maurice H. (Springer Berlin Heidelberg : Imprint: Springer, 2013)