Sciweavers

113 search results - page 1 / 23
» sac 2004
Sort
View
119
Voted
SAC
2004
ACM
16 years 13 days ago
Approximating module semantics with constraints
Francesco Logozzo