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 | Registration | VSL 2014

VENUE AND TRAVEL

For up-to-date information about the venue, traveling and accommodation, please visit VSL 2014