Electronic Notes in Theoretical Computer Science, Volume 235

Volume 235, April 2009

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems (WWV 2008), Siena, Italy, 4 July 2008
a service of Schloss Dagstuhl - Leibniz Center for Informatics