[LLVMdev] Publication "Proving Termination and Memory Safety for Programs with Pointer Arithmetic" at IJCAR 2014

[John Criswell]

Dear Thomas,

I've added your paper to the Publications page.  I used the link to the 
preprint copy as that one should be available to everyone. If you'd 
prefer the link to point to the Springer page, please let me know.

Regards,

John Criswell

On 7/22/14, 6:06 AM, Thomas Ströder wrote:
> International Joint Conference on Automated Reasoning (IJCAR)