Maurice H. ter Beek, Niels Lohmann, editors, Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Volume 7843 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Conference: wsfm2013
No references recorded for this publication.
No citations of this publication recorded.