http://www.cs.cornell.edu/Info/People/tah/cav96.html Computer-Aided Verification: CAV 96

Computer-Aided Verification: CAV 96

FLoC 96 and CAV 96 home pages, including technical programs and registration information.