conf.researchr.org / Qianshan Yu
![Qianshan Yu](https://conf.researchr.org/getProfileImage/qianshanyu/5ab95d6b-de0b-48ef-8655-f7b92c2938c8/small.jpg?1714855204000)
Registered user since Thu 29 Oct 2020
Name:Qianshan Yu
Affiliation:Tsinghua University
Research interests:software verification, regression verification, program analysis
Contributions
Registered user since Thu 29 Oct 2020
Contributions