Sciweavers

WOLLIC
2009
Springer

Observational Completeness on Abstract Interpretation

14 years 7 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari
Added 25 May 2010
Updated 25 May 2010
Type Conference
Year 2009
Where WOLLIC
Authors Gianluca Amato, Francesca Scozzari
Comments (0)