Title: Hardware and software, verification and testing
Subjects: Congresses, Verification, Computer programs, Computer systems, Integrated circuits, Computer software