Exam

The exam is a 24h take-home exam on Oct 29th 2008. It runs from 0:00am to 23:59.
  • Exam:
    questions [pdf],
    Isabelle template [thy],
    Hoare-Logic theory [thy].