Title: Proceedings of the Workshop on High Integrity Software, Gaithersburg, MD, Jan. 22-23, 1991
Subjects: Computer software, Congresses, Reliability