- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA contractor report ; NASA-CR-203085
- Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-96-018
- Subject
- Note
- Shipping list no.: 98-1098-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:203085
- OCLC
- marcive42575500
- Title
Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.].
- Imprint
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
- Series
NASA contractor report ; NASA-CR-203085
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-96-018
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.
- Added Author
Easterbrook, S. M. (Steven Michael), 1965-
United States. National Aeronautics and Space Administration.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:203085
- Research Call Number
READEX Microfiche NAS 1.26:203085