Second NASA Formal Methods Workshop, 1992 / - Johnson, Sally C.; Holloway, C. Michael.; Butler, Ricky W. (National Aeronautics and Space Administration, Langley Research Center, 1992)