Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lan Lu
conf.researchr.org general profile
ICSE 2024 profile
Registered user since Tue 17 Oct 2023
Name:
Lan Lu
Affiliation:
University of Pennsylvania
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
Sat 23 Nov 10:26