Sciweavers

CAV
2008
Springer
110views Hardware» more  CAV 2008»
14 years 2 months ago
Monotonic Abstraction for Programs with Dynamic Memory Heaps
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...