Professor Matthew Hague
1 - 2 out of 2Page size: 100
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC: £393,618
1/07/19 → 30/06/22
Project: Research
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC: £469,677
1/05/13 → 30/04/18
Project: Research