VSTTE 2008 -- Verified Software: Theories, Tools and Experiments
2008 October 6--9
Toronto, Ontario, Canada
Invited SpeakersAndreas Podelski, University of Freiburg
Sriram Rajamani, Microsoft Research
John Reynolds, Carnegie-Mellon University
Moshe Vardi, Rice University