| |
| 2008 | ||
|---|---|---|
| 1 | EE | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354 |
| 1 | Parosh Aziz Abdulla | [1] |
| 2 | Ahmed Bouajjani | [1] |
| 3 | Frédéric Haziza | [1] |
| 4 | Ahmed Rezine | [1] |