TY  - GEN
AU  - D Wallace
AU  - L Ippolito
C2  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1994-12-01
LA  - en
PB  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1994
TI  - A Framework for the Development and Assurance of High Integrity Software
ER  -