TY  - RPRT
TI  - Formal verification and testing: An integrated approach to validating Ada programs
AU  - Cohen, Norman H.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19890006914
ID  - 19890006914
ER  -