(2006). A high-level formalization of floating-point numbers in PVS / Sylvie Boldo, Cesar Munoz.
Cita Chicago (17th ed.)A High-level Formalization of Floating-point Numbers in PVS / Sylvie Boldo, Cesar Munoz. 2006.
Cita MLA (9th ed.)A High-level Formalization of Floating-point Numbers in PVS / Sylvie Boldo, Cesar Munoz. 2006.
Atenció: Aquestes cites poden no estar 100% correctes.