@misc{indiciae5725baeb1ca7,
  title = {Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification},
  author = {Ewen, Denney, W. and Jensen, Thomas},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20140000249},
  note = {Source identifier: 20140000249}
}