Mr Jimmy Thomson

Nonclassical logics, Automated reasoning, Verification and Synthesis of systems
Nonclassical logics, Automated reasoning, Verification and Synthesis of systems
Updated: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing