Title: Computer Aided Verification (vol. # 3576)
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Integrated circuits, Computer programs, Computer software, verification, Computer software, Congresses, Verification, Electronic digital computers, Evaluation