CS/SWE 332 Quiz Guide 6
is the focus of Quiz 6.
You should understand the how to determine if a method is correct,
especially the role of the abstraction function, the rep-invariant,
and the method contract in this process.
In class exercises 10 through 12 are good study guides.
That is, you should understand the
as well as the