WWV 2010 6th International Workshop on Automated Specification and
Verification of Web Systems
Vienna, Austria
July 30-31, 2010