![Qianshan Yu](https://conf.researchr.org/getProfileImage/qianshanyu/9c4814d1-4023-4803-bfcd-99a0daf8659a/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
SPLASH 2020-profile
View general profile
View general profile
Registered user since Thu 29 Oct 2020
Contributions