Contracts and Assertions
- slide 27 : 32
Design by Contract