• W
  • WWV
  • 2006
  • 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Advanced Search 
2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Paphos, Cyprus
November 19-November 19
ISBN: 0-7695-2826-0
Table of Contents
Introduction
Invited Talk
Session 1: Web Verification
D. Ballis, UNIUD, Italy
D. Romero, Universidad Politecnica de Valencia, Spain
pp. 11-18
D. Ballis, UNIUD, Italy
D. Romero, Universidad Politecnica de Valencia, Spain
pp. 19-28
Session 2: Web Accessibility
Vicente Luque Centeno, Carlos III University of Madrid, Spain
Carlos Delgado Kloos, Carlos III University of Madrid, Spain
Martin Gaedke, University of Karlsruhe, Germany
Martin Nussbaumer, University of Karlsruhe, Germany
pp. 29-36
Tutorial
Tevfik Bultan, University of California, Santa Barbara, USA
pp. 45-52
Session 3: Formal Frameworks and Web Services
Author Index
Usage of this product signifies your acceptance of the Terms of Use.