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