Defining the IEEE-854 Floating-Point Standard in PVS (1995)

by Paul S. Miner
Venue:in PVS. Technical Memorandum 110167, NASA, Langley Research