Sciweavers

Share
TACAS
2004
Springer

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

10 years 5 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TACAS
Authors Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
Comments (0)
books