Contracts in the Wild: A Study of Java Programs.

Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada

Browse the full ECOOP paper archive.