Edinburgh Research Explorer

A generic approach to proof planning

Project: Research

StatusFinished
Effective start/end date1/07/0130/06/04
Total award£62,840.00
Funding organisationEPSRC
Funder project referenceGR/N37414
Period1/07/0130/06/04

Research outputs