Sciweavers

TLCA
1997
Springer

Typed Intermediate Languages for Shape Analysis

14 years 3 months ago
Typed Intermediate Languages for Shape Analysis
Gianna Bellè, Eugenio Moggi
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TLCA
Authors Gianna Bellè, Eugenio Moggi
Comments (0)