Title: Computer aided verification
First published: 2007
Subjects: Congresses, Verification, Integrated circuits, Computer software, Computer software, verification