Title: Third NASA Langley Formal Methods Workshop
First published: 1995
Subjects: Congresses, Fault-tolerant computing, System design