cos326-2020-13-03-ho-rep-inv
From
Daniel Macleod
likes
views
Related Media
Details
Back
Reasoning About Modular Programs: Part 3: More Representation Invariants
Tags