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

Overview

abstract

  • 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

Full Author List

  • SOMENZI F

book title

  • Computer-aided Verification '90

Other Profiles

International Standard Book Number (ISBN) 13

  • 9780821865941