TY  - BOOK
AU  - Yeh, Raymond T
TI  - Current trends in programming methodology, v ii: program validation
PY  - 1977///
CY  - NEW JERSEY
PB  - PRENTICE HALL,INC
KW  - MATHEMATICS
ER  -