TY - RPRT TI - Validation, verification, and testing of computer software AU - Adrion, W Richards AU - Branstad, Martha A AU - Cherniavsky, John C PY - 1981 PB - National Bureau of Standards CY - Gaithersburg, MD SN - NBS SP 500-75 DO - 10.6028/NBS.SP.500-75 ER -