(1995). Defining the IEEE-854 floating-point standard in PVS / Paul S. Miner.
Citace podle Chicago (17th ed.)Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.
Citace podle MLA (9th ed.)Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..