MrQuentin Corradi
Research Postgraduate
Department of Electrical and Electronic Engineering - Faculty of Engineering
- Research PostgraduateDepartment of Electrical and Electronic Engineering - Faculty of Engineering
- Electrical Engineering, South Kensington Campus, United Kingdom
RESEARCH
EDA tools
Formal verification in ITP
Formal verification in ITP