"The Zonotope Abstract Domain Taylor1+."

Khalil Ghorbal, Eric Goubault, Sylvie Putot (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics