Third NASA Langley Formal Methods Workshop
Subtitle: proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton, Virginia, May 10-12, 1995.
Contributors: Holloway, C. Michael.; United States. National Aeronautics and Space Administration.; Langley Research Center.
Series: NASA conference publication -- 10176.
Publisher: Langley Research Center
Published: 1995
Place of publication: Hampton, Va
Language: eng
Format: Microform
Number of pages: 268
Subjects: Fault-tolerant computing -- Congresses.; System design -- Congresses.
Genres: Congresses.
Notes: Cover title.

"June 1995."

Includes bibliographical references (p. 262-268)

Microfiche. Silver Spring, Md. : Association for Information and Image Management, 1995. 3 microfiches : negative.