Project Details
| Short title | Structure vs Invariants in Proofs (StrIP) (Renewal) |
|---|---|
| Status | Active |
| Effective start/end date | 1/08/24 → 31/07/27 |
Funding
- UK Research and Innovation
Structure vs Invariants in Proofs (StrIP) (Renewal)
- Das, Anupam (Principal Investigator)