Results on the interface between formal verification and ATPG Chapter uri icon



  • This book, published jointly with the Association for Computing Machinery, contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990.

publication date

  • January 1, 1991

Date in CU Experts

  • April 15, 2014 11:03 AM

Full Author List


Full Editor List

  • Clarke EM; Kurshan RP

author count

  • 1

Other Profiles

International Standard Book Number (ISBN) 10

  • 0821865943

International Standard Book Number (ISBN) 13

  • 9780821865941