Sciweavers

WOA
2003

Generating Abstractions from Static Domain Analysis

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 Electrical and Electronic Engineering Univerisity of Cagliari
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where WOA
Authors Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu
Comments (0)