Context

Context of Defining the IEEE-854 floating-point standard in PVS, Paul S. Miner, (microform)
Processing Feedback ...