Dr Xingyu Zhao PhD Lecturer Computer Science Work email Xingyu.Zhao@liverpool.ac.uk Personal Websitehttps://www.xzhao.me/ About Publications Teaching Teaching "COMP313 Formal Methods" Modules for 2021-22 Formal Methods Module code: COMP313 Role: Module Co-ordinator About Publications Teaching
