Title: High-Assurance Software Engineering Workshop, 1997
Subjects: Systems engineering, Congresses, Electronic data processing, Distributed processing