"Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, ..."

Maurice H. ter Beek, Niels Lohmann (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics