"Automatic modular abstractions for linear constraints."

David Monniaux (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics