Howard Haughton

• Financial Software Engineering
• Specification in B
• Specification in B Kit
• Woken Leader