VSTTE 2008 -- Verified Software: Theories, Tools and Experiments
2008 October 6--9
Toronto, Ontario, Canada
The VSTTE conference hosts three workshops: on Theories, Tools and Experiments. Workshops run on October 9, 2008 (starting after the plenary talk) . For further information about each workshop, contact the respective organisers by email or by following the links below.