Title: Hardware and software, verification and testing
First published: 2007
Subjects: Congresses, Verification, Computer programs, Computer systems, Integrated circuits, Computer software, Logic design, Computer science, Software engineering, Computer software, verification, Computer input-output equipment, Software architecture
LC classification: QA76.76.V47 I54 2006