Structure vs. Invariants in Proofs (StrIP)

Project Details

Short titleStructure vs. Invariants in Proofs (StrIP)
StatusActive
Effective start/end date1/05/2030/04/24

Funding

  • Medical Research Council