TY  - RPRT
TI  - A framework for the development and assurance of high integrity software 
AU  - Wallace, Dolores R
AU  - Ippolito, Laura M
PY  - 1994
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST SP 500-223
DO  - 10.6028/NIST.SP.500-223
ER  -