Publications An abstract domain for trees with numeric relations An abstract domain for trees with numeric relations Matthieu Journault Antoine Miné Abdelraouf Ouadjaout PDF DOI