Old exam questions
Listed below are past exam questions both from this course and those from
Specification
and Verification II that are relevant to this
current course (but note that some notations in earlier courses may be
different from notations used in the current course).