FreeBSD Foundation

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£5,575,634

Mar 13 - Feb 20

REMS: Rigorous Engineering for Mainstream Systems

EPSRC award to University of Cambridge and Peter Sewell

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}