A rigorous approach to self-checking programming
By: Kien A. Hua and Jacob A. Abraham.
Contributors: Abraham, Jacob A.; United States. National Aeronautics and Space Administration.
Series: NASA-CR -- 180657.; NASA contractor report -- NASA CR-180657.
Published: 1987
Place of publication: [Washington, DC : National Aeronautics and Space Administration
Language: eng
Format: Microform
Subjects: Computer programs.
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1987. 1 microfiche.