39:48
cos326-2020-16-01-mutation
Mutation
22:46
cos326-2020-13-03-ho-rep-inv
Reasoning About Modular Programs: Part 3: More Representation Invariants