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