Week Of August 27 - 31, 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 14, 1995