cos326-2020-13-01-representation-invariantsReasoning about Modular Programs: Part 1: Representation Invariants
From Daniel Macleod
0
0 likes
| 205
205 plays
|
© 2022 The Trustees of Princeton University
Broadcast Center | 1E12 Green Hall | Princeton, NJ 08544 | 609.258.7872 | [email protected]