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