00:00

00:00 / 00:00

cos326-2020-13-03-ho-rep-inv

From Daniel Macleod August 16th, 2020

230 plays You unliked the media.

Reasoning About Modular Programs: Part 3: More Representation Invariants

Date: August 16th, 2020
Speaker: David Walker
Department: COS
Location: Princeton NJ
Appears In: COS 326 Functional Programming

Loading

Related Media