Sciweavers

SAS
2004
Springer

Partially Disjunctive Heap Abstraction

14 years 4 months ago
Partially Disjunctive Heap Abstraction
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam,
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAS
Authors Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
Comments (0)