Fourth NASA Langley Formal Methods Workshop
| Other Authors: | NASA Langley Formal Methods Workshop, Holloway, C. Michael,, Hayhurst, Kelly J. 1962-, Langley Research Center, |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Hampton, Virginia :
Langley Research Center,
1997.
|
| Physical Description: |
1 online resource (vii, 204 pages) : illustrations. |
| Series: |
NASA conference publication ;
3356. |
| Subjects: | |
| Online Access: |
https://purl.fdlp.gov/GPO/gpo218226 |
https://purl.fdlp.gov/GPO/gpo218226
CMU Gov Pub Electronic
| Location | Call Number: | Status |
|---|---|---|
| CMU Gov Pub Electronic | NAS 1.55:3356 | Online |