TY  - BOOK
AU  - Roth J P
TI  - Computer logic, testing and verification
U1  - 621.38195835 
PY  - 1980///
CY  - Maryland
PB  - Computer Science Press
KW  - Computer logic
KW  - Electrical engineering
ER  -