University of Paris Est Marne La Vallee

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£469,676

May 13 - Apr 18

Verification of Concurrent and Higher-Order Recursive Programs

EPSRC award to Royal Holloway University of London and Matthew Hague

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}