Report copyright - verify.rwth-aachen.de · Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Automatically Proving Termination and Memory Safety for Programs with Pointer
Please pass captcha verification before submit form