Edinburgh Research Explorer

A proof system for correct program development

Project: Research

StatusFinished
Effective start/end date1/01/0130/06/04
Total award£197,475.00
Funding organisationEPSRC
Funder project referenceGR/N64571/01
Period1/01/0130/06/04