Sciweavers

EMSOFT
2003
Springer
14 years 4 months ago
Eliminating Stack Overflow by Abstract Interpretation
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
John Regehr, Alastair Reid, Kirk Webb