Sciweavers

Voted

CAV
2008
Springer

110views Hardware» more CAV 2008»

15 years 4 months ago

c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...

claim paper

Read More »