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