Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

Maurice H. ter Beek, Alberto Lluch Lafuente

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2…