- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA conference publication ; 10110
- Subject
- Note
- Shipping list no.: 93-0356-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.55:10110
- OCLC
- marcive35094389
- Conference
NASA Formal Methods Workshop (2nd : 1992 : Hampton, Va.)
- Title
Second NASA Formal Methods Workshop, 1992 [microform] / compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
- Series
NASA conference publication ; 10110
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992] 3 microfiches.
- Added Author
Johnson, Sally C.
Holloway, C. Michael.
Butler, Ricky W.
Langley Research Center.
- Gpo Item No.
0830-H-10 (MF)
- Sudoc No.
NAS 1.55:10110
- Research Call Number
READEX Microfiche NAS 1.55:10110