conf.researchr.org / Chuangjie Xu
Registered user since Wed 27 Nov 2019
Name:Chuangjie Xu
Country:Germany
Affiliation:SonarSource
Personal website: https://cj-xu.github.io/
GitHub: https://github.com/cj-xu
Research interests:static analysis, mathematical logic
Contributions