Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

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

Editors

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google

Chun Ouyang

This author has not been identified. Look up 'Chun Ouyang' in Google