Widening Operators for Weakly-Relational Numeric Abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella. Widening Operators for Weakly-Relational Numeric Abstractions. In Chris Hankin, Igor Siveroni, editors, Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Volume 3672 of Lecture Notes in Computer Science, pages 3-18, Springer, 2005. [doi]

This author has not been identified. Look up 'Roberto Bagnara' in GoogleThis author has not been identified. Look up 'Patricia M. Hill' in GoogleThis author has not been identified. Look up 'Elena Mazzi' in GoogleThis author has not been identified. Look up 'Enea Zaffanella' in Google

runs on WebDSL