Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
Abstract
This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy, on June 6, as a satellite event of the 8th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013).
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2013
- DOI:
- 10.48550/arXiv.1308.0268
- arXiv:
- arXiv:1308.0268
- Bibcode:
- 2013arXiv1308.0268R
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Software Engineering
- E-Print:
- EPTCS 123, 2013