Sciweavers

CORR
2007
Springer

The Octagon Abstract Domain

14 years 9 months ago
The Octagon Abstract Domain
Antoine Miné
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Antoine Miné
Comments (0)