ASTC

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£961,155

May 16 - Jun 19

Reducing Cost of Software: A Scalable Model-Based Verification Framework

EPSRC award to University of Oxford and A Roscoe

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}