Title :
2nd Int´l. Workshop on Automated Specification and Verification of Web Systems-Title
Abstract :
The following topics are dealt with: automated specification and verification of Web systems; Web accessibility; and formal frameworks and Web services
Keywords :
Internet; formal specification; formal verification; Web accessibility; Web services; automated Web system specification; automated Web system verification;
Conference_Titel :
Automated Specification and Verification of Web Systems, 2006. WWV '06. 2nd International Workshop on
Conference_Location :
Phaphos
Print_ISBN :
0-7695-2826-0
