Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
arXiv:1308.0268v1
Originality Synthesis-oriented
AI Analysis
This is a collection of incremental research papers focused on automated specification and verification for web systems, targeting researchers and practitioners in that domain.
This is a proceedings volume containing accepted papers from the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), held as a satellite event in Florence, Italy, on June 6, 2013.
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).