2012
Automated Verification of Recursive Programs with Pointers
Publication
Publication
Presented at the
International Joint Conference on Automated Reasoning, Manchester
Additional Metadata | |
---|---|
Software (theme 1), Software (theme 1) | |
Springer | |
International Joint Conference on Automated Reasoning | |
Organisation | Computer Security |
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.
|