Second NASA Formal Methods Workshop, 1992
By: compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler
Contributors: Johnson, Sally C; Holloway, C. Michael; Butler, Ricky W; Langley Research Center
Series: NASA conference publication -- 10110
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1992
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Notes: Shipping list no.: 93-0356-M

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992] 3 microfiches