ReferencesContents

References

 [1]
A. Miné. Domaines numériques abstraits faiblement relationnels (Weakly relational numerical abstract domains). PhD thesis, École Normale Supérieure de Paris, 2004. PDF.

ReferencesContents