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