Sciweavers

WOA
2003
14 years 1 months ago
Generating Abstractions from Static Domain Analysis
ng AbstractionsGenerating Abstractions from Static Domain Analysisfrom Static Domain Analysis Eloisa Vargiu (joint work with Giuliano Armano and Giancarlo Cherchi) Department of El...
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu