Citação norma APA

(1995). Defining the IEEE-854 floating-point standard in PVS / Paul S. Miner.

Citação norma Chicago

Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.

Citação norma MLA

Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.