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
ASE 2024-profile
View general profile
View general profile