Second NASA Formal Methods Workshop, 1992 / compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler.
| Author/creator | NASA Formal Methods Workshop |
| Format | Book |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1992] |
| Description | 1 volume. |
| Other author/creator | Johnson, Sally C. |
| Other author/creator | Holloway, C. Michael. |
| Other author/creator | Butler, Ricky W. |
| Other author/creator | Langley Research Center. |
| Series | NASA conference publication ; 10110 NASA conference publication 10110. ^A297057 |
| General note | Shipping list no.: 93-0356-M. |
| Reproduction note | Joyner- Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992] 3 microfiches. |
| GPO item number | 0830-H-10 (MF) |
| Govt. docs number | NAS 1.55:10110 |