Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers - Tuosto, Emilio; Ouyang, Chun (Springer International Publishing : Imprint: Springer, 2014)