Representation of two-variable difference or sum constraint set and application to automatic program analysis (2000)

by A Miné
Venue:Master’s thesis, ENS-DI