Title: Formal methods in computer-aided design
First published: 2000
Subjects: Congresses, Computer engineering, Computer-aided design, Verification, Integrated circuits, Formal methods (Computer science)
LC classification: TK7885.A1 F59 2000, TK7885.A1 F59 2000