conf.researchr.org / Fei He
Registered user since Thu 5 Jul 2018
Name: Fei He
Affiliation: Tsinghua University
Personal website: https://feihe.github.io/
Research interests: formal methods, decision procedure, program analysis
Contributions
Registered user since Thu 5 Jul 2018
Name: Fei He
Affiliation: Tsinghua University
Personal website: https://feihe.github.io/
Research interests: formal methods, decision procedure, program analysis
Contributions