Edinburgh Research Explorer

Automated reasoning in large structured theories

Project: Research

StatusFinished
Effective start/end date1/05/0630/09/06
Total award£27,113.00
Funding organisationEPSRC
Funder project referenceEP/E005322/1
Period1/05/0630/09/06