Finding bugs before your customer does – Code Contracts in .NET 4.0 02.04.19 Scandinavian Developer Conference 2011by Manfred Steyer, GDE