Codequalität mittels Code Contracts und PEX 02.04.19 BASTA! Spring 2009 in Darmstadtby Manfred Steyer, GDE