Proving Pointer Programs in Higher-Order Logic.

Farhad Mehta, Tobias Nipkow

Browse the full CADE paper archive.