TY  - RPRT
TI  - Architecture for Verifiable Software
AU  - Reinholtz, William
AU  - Dvorak, Daniel
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20110016454
ID  - 20110016454
ER  -