13:10 duration 13 minutes 10 seconds
cos326-2020-13-02-rep-inv-set
Reasoning About Modular Programs: Part 2: Proving Representation Invariants