EPSRC logo
Researcher Details
Name: Dr H Beohar
Organisation: University of Sheffield
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/X019373/1 Quantitative verification of software families based on coalgebraic modal logic and games(P)
Previous EPSRC Support
There is no previous EPSRC Support
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator