WWV 2010
6th International Workshop on Automated Specification and Verification of Web Systems. Vienna University of Technology, Austria. July 30-31, 2010
EXTENDED DEADLINES:
Abstract Submission April 26, 2010
Full Paper Submission May 3, 2010
Notification May 31, 2010
WEB:
http://www.complang.tuwien.ac.at/WWV2010/