TITLE     : Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
AUTHOR(S) : Ter Beek M H, Lluch Lafuente A Eds
TYPE      : Book
YEAR      : 2015
CODE      : 333626

*** DO NOT EDIT THIS FILE ***