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