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