- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji: Automated Analysis of Data-Dependent Programs with Dynamic Memory. ATVA 2009: 197-212 |
| 1 | Parosh Aziz Abdulla | [1] |
| 2 | Jonathan Cederberg | [1] |
| 3 | Ran Ji | [1] |