VSTTE’10
Verified Software:
Theories, Tools and Experiments
16th-19th August
2010
Edinburgh, Scotland
home
sponsors
call for papers
submissions
student support
competition
poster session
keynote speakers
programme
industrial morning
registration
workshops
summer school
accommodation
local information
organisation
photos
contact
Photographs