Registered user since Mon 29 Nov 2021
Name:Shuanglong Kan
Country:Germany
Affiliation:Barkhausen Institute, Dresden
Personal website: https://github.com/ShlKan
GitHub: https://github.com/ShlKan
Research interests:String Solvers, Formal Methods, Isabelle/HOL, Programming Languages
Contributions
Using general profile