@misc{indiciaef7c9333fe39a,
  title = {Proving Correctness for Pointer Programs in a Verifying Compiler},
  author = {Kulczycki, Gregory and Singh, Amrinder},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20080022230},
  note = {Source identifier: 20080022230}
}