Generating Abstractions from Static Domain Analysis.

Giuliano Armano Giancarlo Cherchi Eloisa Vargiu Generating Abstractions from Static Domain Analysis. 140-147 2003 conf/woa/2003 WOA db/conf/woa/woa2003.html#ArmanoCV03