Electronic Notes in Theoretical Computer Science, Volume 105

Volume 105, December 2004

Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics