Precise Widening Operators for Convex Polyhedra.

Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella

Browse the full SAS paper archive.