Rigorous Systems Engineering Project

A 8010 (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£747,290

Jun 13 - Nov 16

REVES: REasoning in VErification and Security

EPSRC award to University of Manchester and Andrei Voronkov

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}