Sciweavers

EMSOFT
2003
Springer
14 years 1 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