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

by Paul S. Miner
Venue:in PVS. Technical Memorandum 110167, NASA, Langley Research
Citations:37 - 3 self