Edinburgh Research Explorer

Mechanising first - Order temporal logics

Project: Research

StatusFinished
Effective start/end date5/07/994/07/02
Total award£52,432.00
Funding organisationEPSRC
Funder project referenceGR/M46624
Period5/07/994/07/02

Research outputs