Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Haoxian Chen
conf.researchr.org general profile
ICSE 2024 profile
Not registered as user
Name:
Haoxian Chen
Affiliation:
ShanghaiTech University
Contributions
2024
ICSE
Author of Verifying Declarative Smart Contracts. within the Artifact Evaluation-track
Author of Verifying Declarative Smart Contracts within the Research Track-track
Share
x
Wed 18 Dec 11:37