Registered user since Wed 5 Jan 2022
Name:Shengchao Qin
Country:China
Affiliation:Xidian University
Personal website: https://scqin.github.io/publication.html
Research interests:Formal Methods, Software Engineering, Programming Languages
Contributions
FM 2026-profile
View general profile
View general profile