Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers - Tuosto, Emilio (edición); Ouyang, Chun (edición) ((Lecture Notes in Computer Science ;)