"Formal Methods for Web Services, 9th International School on Formal ..."

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics