Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/19 → 28/02/23 |
Funding
- Huawei Technologies Co., Ltd.: £124,231.01
Probabilistic Property-Based Testing
- Cheney, James (Principal Investigator)
- Belle, Vaishak (Co-investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/19 → 28/02/23 |