@misc{indiciaea5e72452d2e9,
  title = {Proof-Carrying Code with Correct Compilers},
  author = {Appel, Andrew W.},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20150004716},
  note = {Source identifier: 20150004716}
}