Title: Computer aided verification
Subjects: Circuits intégrés, Congrès, Vérification, Congresses, Verification, Logiciels, Integrated circuits, Computer software, Computer software, verification