Automated Specification and Verification of Web Systems


10th International Workshop

July 18th, Vienna, Austria


a FLoC workshop @ Vienna Summer of Logic 2014


WWV 2014 | Call for papers (txt, pdf) | Important dates | Invited speakers | Program Committee | Steering Committee | Submission | Program | Venue and travel | VSL 2014

REGISTRATION

The registration process will be made available online through the registration page of VSL 2014