Codequalität mit Code Contracts: Ein Fallbeispiel aus der Praxis 02.04.19 BASTA! Spring 2011 in Darmstadtby Manfred Steyer, GDE