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