"Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, ..."

Roberto Bruni, Karsten Wolf (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics