Week Of September 1 - 2, 1995
The Summer School is composed of three week-long tutorial programs.
Press Here for a plain text version.
Tutorial on Computer-Aided Verification
- Date: August 28 -- September 1, 1995
- Organizer: Ken McMillan
- Speakers: David Dill, Bob Kurshan, Ken McMillan, J. Moore, Pierre Wolper
- Email: mcmillan@cadence.com
dimacs-www@dimacs.rutgers.edu
Document last modified on February 15, 1995