Sciweavers

ESOP
2008
Springer

Certificate Translation in Abstract Interpretation

14 years 2 months ago
Certificate Translation in Abstract Interpretation
Gilles Barthe, César Kunz
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ESOP
Authors Gilles Barthe, César Kunz
Comments (0)