VSTTE 2008 header logo

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.