Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Automated ISA Hyper-Property Testing
Franke, Bjoern
(Principal Investigator)
Milodowski, David
(Co-investigator)
School of Informatics
School of Geosciences
Overview
Project Details
Status
Finished
Effective start/end date
1/03/22
→
30/09/22
Funding
UK industry, commerce and public corporations:
£228,406.00
Other:
£12,651.00
View all
View less