Title: Computer aided verification
Subjects: Enginyeria del software, Disseny lògic, Congressos, Llenguatges formals, Computer software, verification, Computer software, Congresses, Verification, Integrated circuits, Verificatie, Software