Verifying traits: a proof system for fine-grained reuse.

Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer

Browse the full ECOOP paper archive.