Skip to content

Approximating module semantics with constraints.

Francesco Logozzo

Year2004
ProceedingsSAC

Browse the full SAC paper archive.