Title: Hardware and Software: Verification and Testing
Subjects: Logic design, Computer science, Software engineering, Congresses, Verification, Computer programs, Computer input-output equipment, Software architecture, Computer software, Hardware, Testing, Computer software, verification, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs