Sciweavers

SAC
2004
ACM

Approximating module semantics with constraints

14 years 5 months ago
Approximating module semantics with constraints
Francesco Logozzo
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where SAC
Authors Francesco Logozzo
Comments (0)