TY  - RPRT
TI  - NASA software specification and evaluation system: Software verification/validation techniques
PY  - 1977
UR  - https://ntrs.nasa.gov/citations/19770019884
ID  - 19770019884
ER  -