Week Of August 27 - 31, 1995

  • DIMACS Summer School on Applied Logic

    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

    Document last modified on February 14, 1995