Slides for Meeting 11
Design-by-Contract