TITLE     : Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
AUTHOR(S) : Ter Beek M H, Ravara A
TYPE      : Book
YEAR      : 2014
CODE      : 294525

*** DO NOT EDIT THIS FILE ***