Codequalität mittels Code Contracts (.NET 4) und PEX 02.04.19 BASTA! 2009 in Mainzby Manfred Steyer, GDE