TY - GEN AU - Wallace, Dolores R AU - Kuhn, D Richard AU - Cherniavsky, John C C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 1991-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.SP.500-190 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 1991 TI - Proceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 1991: ER -