Automated ISA Hyper-Property Testing

Franke, Bjoern (Principal Investigator)
Milodowski, David (Co-investigator)

Status	Active
Effective start/end date	1/03/22 → 30/09/22

Funding

UK industry, commerce and public corporations: £228,406.00
Other: £12,651.00