TY  - RPRT
TI  - The testability of Ada programs
AU  - Auty, David
AU  - Cohen, Norman H.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19890006913
ID  - 19890006913
ER  -