APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.