Widening Operators for Weakly-Relational Numeric Abstractions.

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella

Browse the full SAS paper archive.