Title: Hardware and software, verification and testing
Subjects: Congresses, Verification, Computer programs, Computer systems, Integrated circuits, Computer software, Hardware, Software architecture, Computer input-output equipment