2000 character limit reached
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
Published 31 Jul 2013 in cs.LO and cs.SE | (1308.0268v1)
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).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
