Inria Rennes - Bretagne Atlantique Research Centre

Start Date End Date Funded Value Relevance

CSV

25 50 100

£1,579,794

Sep 18 - Aug 24

VeTSpec: Verified Trustworthy Software Specification

SPF award to Imperial College London and Philippa Gardner

£5,237

Aug 21 - Oct 21

The Third International Workshop on Formal Methods in Artificial Intelligence

EPSRC award to Imperial College London and Francesco Belardinelli

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}