Derrick Kourie

• Coping with Continuous Change in the Business Environment
• The correctness-by-construction approach to programming
• Coping with Continuous Change in the Business Environment