T. Denvir

• 5th Refinement Workshop
• Discrete Mathematics for Software Engineers