Resource usage contracts for .NET.

Jonathan Tapicer, Diego Garbervetsky, Martn Rouaux

Browse the full ICSE paper archive.