W. M. L. Holcombe

• Formal methods and software engineering group