"Static Analysis of Numerical Programs: Constrained Affine Sets Abstract ..."

Khalil Ghorbal (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics