EPSRC logo

Current EPSRC Support by Partner

Partner: University of Duisburg-Essen

Grant TitleHolding OrganisationValue (£)
Quantitative verification of software families based on coalgebraic modal logic and gamesUniversity of Sheffield 235,841

Total Number of Grants: 1
Total Value of Grants: £235,841

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).