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
maintained by Schloss Dagstuhl LZI at University of Trier