Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions

Roberto Bagnara Patricia M. Hill Enea Zaffanella Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions http://arxiv.org/abs/0904.1783 2009 CoRR abs/0904.1783 db/journals/corr/corr0904.html#abs-0904-1783 informal publication