Fourth NASA Langley Formal Methods Workshop / compiled by C. Michael Holloway and Kelly J. Hayhurst.
1997
NAS 1.55: 3356
Available at Government Documents Microfiche
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Fourth NASA Langley Formal Methods Workshop / compiled by C. Michael Holloway and Kelly J. Hayhurst.
Publication Details
[Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center], 1997.
Language
English
Description
vii, 204 p. : ill. ; 28 cm.
Call Number
NAS 1.55: 3356
GPO Item No.
0830-H-10
Note
"Proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at the Radisson Hotel, Hampton, Virginia, September 10-12, 1997."
"September 1997."
Performing organization: NASA Langley Research Center.
"September 1997."
Performing organization: NASA Langley Research Center.
Bibliography, etc. Note
Includes bibliographical references.
Added Corporate Author
Series
NASA conference publication ; 3356
Record Appears in