Edinburgh Research Explorer

Automated reasoning in large structured theories

Project: Funded ProjectResearch

Total award£27,113.00
Funding organisationEPSRC
Funder project referenceEP/E005322/1
Period1/05/0630/09/06