"A New Abstract Domain for the Representation of Mathematically Equivalent ..."

Arnault Ioualalen, Matthieu Martel (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics