TY  - GEN
AU  - D Wallace
AU  - David Kuhn
AU  - John Cherniavsky
C2  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1991-08-01
LA  - en
PB  - Special Publication (NIST SP), 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  -