Title: Computer aided verification 15
Subjects: Congresses, Verification, Integrated circuits, Computer software, Computer software, verification, Electronic digital computers, Evaluation