Citace podle APA (7th ed.)

(2006). A high-level formalization of floating-point numbers in PVS / Sylvie Boldo, Cesar Munoz.

Citace podle Chicago (17th ed.)

A High-level Formalization of Floating-point Numbers in PVS / Sylvie Boldo, Cesar Munoz. 2006.

Citace podle MLA (9th ed.)

A High-level Formalization of Floating-point Numbers in PVS / Sylvie Boldo, Cesar Munoz. 2006.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..