@misc{indiciae82b34a334890,
  title = {Defining the IEEE-854 floating-point standard in PVS},
  author = {Miner, Paul S.},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19950023402},
  note = {Source identifier: 19950023402}
}