Title: Hardware and software, verification and testing
First published: 2008
Subjects: Congresses, Verification, Computer programs, Computer input-output equipment, Software architecture, Computer software, Computer software, verification, Computers
LC classification: QA76.76.V47 I54 2007