- Additional Authors
- United States. National Aeronautics and Space Administration.
- Series Statement
- Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-012
- Uniform Title
- NASA contractor report ; NASA CR-207042.
- Subject
- Note
- Shipping list no.: 99-0635.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:207042
- OCLC
- marcive41663734
- Author
Kancherla, Mani Prasad.
- Title
Generating test templates via automated theorem proving [microform] / by Mani Prasad Kancherla.
- Imprint
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
- Series
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-012
NASA contractor report ; NASA CR-207042.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 97-207042).
- Added Author
United States. National Aeronautics and Space Administration.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:207042
- Research Call Number
READEX Microfiche NAS 1.26:207042