Automated Verification of Recursive Programs with Pointers.

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot

Browse the full CADE paper archive.