WWV 2005: Valencia, Spain

Refine list

showing all ?? records

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