Login / Signup

Widening Operators for Weakly-Relational Numeric Abstractions.

Roberto BagnaraPatricia M. HillElena MazziEnea Zaffanella
Published in: SAS (2005)
Keyphrases