Emilio Tuosto, Chun Ouyang, editors, Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Volume 8379 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Conference: wsfm2014
No references recorded for this publication.
No citations of this publication recorded.