Automated Analysis of Data-Dependent Programs with Dynamic Memory.

Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji

Browse the full ATVA paper archive.