Automated Verification of Recursive Programs with Pointers
Presented at the International Joint Conference on Automated Reasoning, Manchester
|International Joint Conference on Automated Reasoning|
de Boer, F.S, Bonsangue, M.M, & Rot, J.C. (2012). Automated Verification of Recursive Programs with Pointers. In Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester UK, June 26-29, 2012, Proceedings. Springer.