Matthew Hague

Search results

• Finished

  String Constraint Solving with Real-World Regular Expressions

  Hague, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/07/19 → 30/06/22

  Project: Research

• Verification of Concurrent and Higher-Order Recursive Programs

  Hague, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/05/13 → 30/04/18

  Project: Research