Keyword:Web documents

Publications
Temporal Patterns for Document Verification Mirjana Jaksic and Burkhard Freitag In:WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems