TY  - RPRT
TI  - Defining the IEEE-854 floating-point standard in PVS
AU  - Miner, Paul S.
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19950023402
ID  - 19950023402
ER  -