Formal verification of mathematical software
By: David Sutherland.
Contributors: Langley Research Center.; Odyssey Research Associates.
Series: NASA contractor report -- 172407.; NASA contractor report -- NASA CR-172407.
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 1984
Place of publication: Hampton, Va
Language: eng
Format: Microform
Subjects: Computer programs.; Machine theory.; Logic, Symbolic and mathematical.
Notes: "Odyssey Research Associates, Inc. of America."

"May 1984."

"Contract no. NAS1-17579."

Includes bibliographical references.

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1985. 2 microfiches ; 11 x 15 cm.