Title: NASA Formal Methods Workshop 1990
Subjects: Congresses, Automatic control, Data processing, System design, System analysis, Fault-tolerant computing