New Investigator: Imperative programs from proofs

Project: Research council

Project Details

StatusActive
Effective start/end date7/11/226/11/25

Funding

  • Engineering and Physical Sciences Research Council