Dr Xingyu Zhao PhD

Lecturer Computer Science

Teaching

COMP313 Formal Methods

Modules for 2022-23

Formal Methods

Module code: COMP313

Role: Module Co-ordinator