WWV 2010: Volume Information

WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems

Papers

Keyphrases

ALCCTL, Algebraic Specification Methods, conference management, counterexamples, CTL, document management, document verification, easychair, GIS, GML, HTML Filtering, Hyperdocument Engineering, Information Retrieval, KML, model checking, PostGIS, temporal description logics, temporal specification patterns, Web accessibility, Web documents, Web Services, Webpages visualization, XPath.