Title: Formal methods and their role in digital systems validation for airborne systems
Authors: Rushby, John.; SRI International.; Langley Research Center.
Publisher: National Aeronautics and Space Administration, Langley Research Center ; Available from the National Technical Information Service,
Year: 1995
Subjects: Software engineering; Computer software Validation; Computer software Verification