Acceleration in Convex Data-Flow Analysis (2007)

by J Leroux, G Sutre
Venue:In FSTTCS, volume 4855 of LNCS