Title: Computer-aided verification '90
Subjects: Computer-aided design, Congresses, Digital integrated circuits, Integrated circuits, Verification, Design and construction, Data processing