Formal verification of mathematical software
By: David Sutherland
Contributors: Langley Research Center; Odyssey Research Associates
Series: NASA contractor report -- 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