TY  - RPRT
TI  - Proving Correctness for Pointer Programs in a Verifying Compiler
AU  - Kulczycki, Gregory
AU  - Singh, Amrinder
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20080022230
ID  - 20080022230
ER  -