VSTTE 2008 -- Verified Software: Theories, Tools and Experiments

2008 October 6--9

Toronto, Ontario, Canada

Important Dates

Registration deadline: none

Main conference: 2008 October 6--9

Workshops: 2008 October 9