Vertragssicherheit: Design by Contract in .Net 4 02.04.19 Herbstcampus 2009 in Nürnberg by Manfred Steyer, GDE