Title: Formal methods in computer-aided design
First published: 1996
Subjects: Congresses, Computer-aided design, Digital integrated circuits, Computer engineering, Verification, Automatic theorem proving, Formal methods (Computer science), Integrated circuits, Design and construction, Data processing
LC classification: TK7874.65 .F53 1996