A correct-by-construction approach to approximate computation

Project: Research

Project Details

StatusActive
Effective start/end date1/11/2331/10/27

Funding

  • EPSRC (Engineering and Physical Sciences Research Council): £692,875.00