TY  - RPRT
TI  - From Verified Models to Verifiable Code
AU  - Lensink, Leonard
AU  - Munoz, Cesar A.
AU  - Goodloe, Alwyn E.
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090037329
ID  - 20090037329
ER  -