Proving Correctness for Pointer Programs in a Verifying Compiler
| Title | Proving Correctness for Pointer Programs in a Verifying Compiler |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Kulczycki, G., and A. Singh |
| Conference Name | The Sixth NASA Langley Formal Methods Workshop |
| Date Published | April 2008 |
| Conference Location | Newport News, VA |