Numeric domains with summarized dimensions (2004)

by D Gopan, F DiMaio, T Reps N Dor, M Sagiv
Venue:In Int. Conf. on Tools and Algs. for the Construction and Analysis of Systems (TACAS’04), volume 2988 of LNCS