conf.researchr.org / Qianshan Yu

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
Name: Qianshan Yu
Affiliation: Tsinghua University
Research interests: software verification, regression verification, program analysis
Contributions