Title: Formal methods in computer-aided design
First published: 2002
Subjects: Congresses, Digital integrated circuits, Design and construction, Computer-aided design, Verification, Mathematics, Formal methods (Computer science), Integrated circuits
LC classification: TK7874.65 .F53 2002, TK7874.65 .F53 2002