Harsh Beohar

Start Date

End Date Funded Value Relevance

CSV

25 50 100

£235,841

Apr 23 - Apr 25

Quantitative verification of software families based on coalgebraic modal logic and games

EPSRC award to University of Sheffield and Harsh Beohar

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}