ILC: A Foundation for Automated Reasoning About Pointer Programs.

Limin Jia, David Walker

Browse the full ESOP paper archive.