Strengthening Method Contracts for Objects.

Atul Gupta, Amit Raj

Browse the full APSEC paper archive.