Contracts and Assertions
- slide 5 : 32
Specification with preconditions and postconditions