TY  - RPRT
TI  - Software development and verification technology
AU  - Trauboth, H.
AU  - Hodges, B.
PY  - 1971
UR  - https://ntrs.nasa.gov/citations/19710025583
ID  - 19710025583
ER  -