WWV 2005: Valencia, Spain

Electronic proceedings

Invited Talks

Formal Models for describing and reasoning about Web Sites

Testing, Validation and Categorization of Web Sites

Accessibility Evaluation

XML transformation and optimization

Rule-based approaches to Web site analysis and verification

Model-checking and Static Analysis applied to the Web

a service of Schloss Dagstuhl - Leibniz Center for Informatics