Formal Systems (Europe) Ltd.

Start Date End Date Funded Value Relevance

CSV

25 50 100

£648,434

May 07 - Oct 11

CSP Model Checking: New Technology and Techniques

EPSRC award to University of Oxford and A Roscoe

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}