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

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

Document Versions

Defining the IEEE-854 Floating-Point Standard in PVS –Paul S. Miner — 1995 — in PVS. Technical Memorandum 110167, NASA, Langley Research
Defining the IEEE-854 Floating-Point Standard in PVS –Paul S. Miner — 1995