Resource usage contracts for .NET. - Tapicer, Jonathan; Garbervetsky, Diego; Rouaux, Martin (ICSE: International Conference on Software Engineering, 2011)