
Registered user since Mon 29 Nov 2021
Name:Shuanglong Kan
Country:Germany
Affiliation:TU Kaiserslautern
Personal website:https://arg.cs.uni-kl.de/gruppe/kan/
Research interests:String Solvers, Formal Methods, Isabelle/HOL, Programming Languages
Contributions
POPL 2022-profile
View general profile
View general profile