Code Contracts oder: Bugs finden, bevor es der Kunde tut 02.04.19 ADC - Advanced Developers Conferenceby Manfred Steyer, GDE