Refactoring with Contracts.

Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz

Browse the full ECOOP paper archive.