Contract and Specifications (GEN 4004) | Lecture 11,12