Title: Hardware and Software : Verification and Testing
Subjects: Programming languages (electronic computers)