EPSRC logo
Researcher Details
 
Name: Dr M Sammartino
Organisation: Royal Holloway, Univ of London
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
EP/S028641/1 Verification of Hardware Concurrency via Model Learning (CLeVer)(R)
Previous EPSRC Support
There is no previous EPSRC Support
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator