Registered user since Wed 5 Jan 2022
Name:Shengchao Qin
Country:China
Affiliation:Fermat Labs, Huawei
Personal website: https://scqin.github.io/publication.html
Research interests:Formal Methods, Software Engineering, Programming Languages
Contributions
Using general profile