Additional Metadata
THEME Software (theme 1), Software (theme 1)
Publisher Springer
Conference International Joint Conference on Automated Reasoning
Citation
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.