"Equivalence Checking of Static Affine Programs Using Widening to Handle ..."

Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics