ESEC/FSE 2023 (series) / Bin Yu
![Bin Yu](https://2023.esec-fse.org/getProfileImage/binyu/84e6fc74-a6a7-415f-af8e-fe82043893e2/small.jpg?1712728595000)
Registered user since Wed 23 Aug 2023
Name:Bin Yu
Country:China
Affiliation:School of Computer Science and Technology, Xidian University
Personal website: https://scholar.google.com.hk/citations?user=c707dNUAAAAJ&hl=zh-CN
Research interests:Formal Method, Smart Contract, Interrupt-driven Programs
Contributions
ESEC/FSE 2023-profile
View general profile
View general profile