Registered user since Mon 3 Oct 2016
Name:Jialiang Chang
Country:United States
Affiliation:CertiK
Research interests:Blockchain, Static Analysis, Formal Verificaiton
Contributions
ICSE 2023-profile
View general profile
View general profile
Registered user since Mon 3 Oct 2016
Contributions