References

Contents

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.

References

Contents