A high-level formalization of floating-point numbers in PVS /

Bibliographic Details
Main Author:	Boldo, Sylvie
Corporate Authors:	National Institute of Aerospace, Langley Research Center
Other Authors:	Muñoz, César
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2006]
Series:	NASA contractor report ; 2006-214298.
Subjects:	Floating-point arithmetic > Mathematical models.
Online Access:	https://purl.fdlp.gov/GPO/gpo7708