Workshop on High Integrity Software (1991 Gaithersburg, Md.)

• Proceedings of the Workshop on High Integrity Software, Gaithersburg, MD, Jan. 22-23, 1991