Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) - Roberto Bagnara; Patricia M. Hill; Elena Mazzi; Enea Zaffanella (CoRR, 2004)

Widening Operators for Weakly-Relational Numeric Abstractions. - Roberto Bagnara; Patricia M. Hill; Elena Mazzi; Enea Zaffanella (SAS, 2005)