Exercises

A number of exercises are collected in the following documents:

• Formal Software Specifications using RAISE: Exercises.
• Old examination questions.
  • 4338 Examination Spring 92.
  • 49238 Examination Spring 98.
  • 49238 Examination Spring 99.