pith. sign in

arxiv: 1308.0268 · v1 · pith:2ULAJ6MHnew · submitted 2013-07-31 · 💻 cs.LO · cs.SE

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

Ant\'onio Ravara (New University of Lisbon , Portugal) , Josep Silva (Universidad Polit\'ecnica de Valencia) This is my paper
classification 💻 cs.LO cs.SE
keywords internationalautomatedspecificationsystemsverificationworkshopacceptedcomputing
0
0 comments X
read the original 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).

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.