TY  - RPRT
TI  - Proof-Carrying Code with Correct Compilers
AU  - Appel, Andrew W.
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20150004716
ID  - 20150004716
ER  -