Computer-aided verification '90
Subtitle: Proceedings of a DIMACS workshop, June 18-21, 1990 (DIMACS series in discrete mathematics and theoretical computer science)
Publisher: Association for Computing Machinery
Published: 1991
Language: eng
Format: Unknown Binding
Number of pages: 628
ISBN-13: 9780897913867
Subjects: Data processing; Congresses; Computer-aided design; Digital integrated circuits; Integrated circuits; Design and construction; Verification