cos326-2020-13-02-rep-inv-set
From
Daniel Macleod
likes
views
Related Media
Details
Back
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Tags