Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Brendan Massey
conf.researchr.org general profile
ICSE 2024 profile
Registered user since Sat 16 Dec 2023
Name:
Brendan Massey
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
Mon 18 Nov 05:18