Moving formal methods into practice [microform] : verifying the FTPP scoreboard, phase 1 results / Mandayam Srivas, Mark Bickford.

Saved in:

Bibliographic Details
Main Author:	Srivas, Mandayam
Corporate Author:	Langley Research Center
Other Authors:	Bickford, Mark
Format:	Government Document Microfilm Book
Language:	English
Published:	Hampton, Va. : [Springfield, Va.?] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service [distributor], 1992]
Series:	NASA contractor report ; NASA CR-189607.
Subjects:	Computer programs > Verification.

Norlin Library - Government Information - Microform

Holdings details from Norlin Library - Government Information - Microform
Call Number:	NAS 1.26:189607
NAS 1.26:189607	Restricted Place a Hold