- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA contractor report ; 4403
- Uniform Title
- NASA contractor report ; NASA CR-4403.
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Shipping list no.: 92-0648-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:4403
- OCLC
- marcive28483449
- Author
Windley, P.
- Title
The formal verification of generic interpreters [microform] / P. Windley and K. Levitt.
- Imprint
[Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : National Technical Information Service, distributor], 1991.
- Series
NASA contractor report ; 4403
NASA contractor report ; NASA CR-4403.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 3 microfiches.
- Added Author
Levitt, K.
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:4403
- Research Call Number
READEX Microfiche NAS 1.26:4403