Correct-by-construction Approach To Approximate Computation

Project: Research

Project Details

StatusActive
Effective start/end date1/10/24 → 31/10/27

Funding

  • EPSRC (Engineering and Physical Sciences Research Council): £84,930.00