TY  - RPRT
TI  - Survey of Software Assurance Techniques for Highly Reliable Systems
AU  - Nelson, Stacy
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040034185
ID  - 20040034185
ER  -