12:36duration 12 minutes 36 seconds
cos326-2020-13-01-representation-invariants
Reasoning about Modular Programs: Part 1: Representation Invariants