TY  - RPRT
TI  - Formally verifying Ada programs which use real number types
AU  - Sutherland, David
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19890006911
ID  - 19890006911
ER  -