Title: Formal methods in computer-aided design
Subjects: Digital integrated circuits, Congresses, Computer-aided design, Integrated circuits, Verification, Formal methods (Computer science), Design and construction, Mathematics