Title: Automated specification and verification of web systems
Subjects: World Wide Web, Congresses, Internet