Sciweavers

113 search results - page 1 / 23
» sac 2004
Sort
View
81
Voted
SAC
2004
ACM
15 years 9 months ago
Approximating module semantics with constraints
Francesco Logozzo