Dr Xingyu Zhao PhD

Lecturer Computer Science

Teaching

"COMP313 Formal Methods"

Modules for 2021-22

Formal Methods

Module code: COMP313

Role: Module Co-ordinator