TY  - RPRT
TI  - Integrated verification and testing system (IVTS) for HAL/S programs
AU  - Senn, E. H.
AU  - Ames, K. R.
AU  - Smith, K. A.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19830052753
ID  - 19830052753
ER  -