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