You are here
» People » Mr Jimmy ThomsonMr Jimmy Thomson
Nonclassical logics, Automated reasoning, Verification and Synthesis of systems
» People » Mr Jimmy ThomsonUpdated: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing
