Djinnisys Corp.

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£583,564

Jan 07 - Jun 07

Automated quantitative software verification with PRISM

EPSRC award to University of Birmingham and Marta Kwiatkowska

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}