Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods

Project Details

StatusNot started
Effective start/end date10/1/229/30/25

Funding

  • NSF - National Science Foundation: $559,494.00