Proceedings of the Workshop on High Integrity Software, Gaithersburg, MD, Jan. 22/23, 1991 /
Workshop on High Integrity Software(Jan., 1991 :Gaithersburg, Md.)
Wallace, Dolores R.
Kuhn, D. Richard.
Cherniavsky, John C.
National Institute of Standards and Technology (U.S.)
Includes bibliographical references.
Computer software