Norman Derek Pratt

• Pragmatic application of formal methods to safety critcal systems