TY  - RPRT
TI  - Validation, verification, and testing for the individual programmer 
AU  - Branstad, Martha A
AU  - Cherniavsky, John C
AU  - Adrion, W Richards
PY  - 1980
PB  - National Bureau of Standards
CY  - Gaithersburg, MD
SN  - NBS SP 500-56
DO  - 10.6028/NBS.SP.500-56
ER  -