Sciweavers

SAS
2005
Springer

Widening Operators for Weakly-Relational Numeric Abstractions

13 years 11 months ago
Widening Operators for Weakly-Relational Numeric Abstractions
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SAS
Authors Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
Comments (0)