Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steve Reeves
conf.researchr.org general profile
SPLASH 2022 profile
Registered user since Sun 4 Dec 2022
Name:
Steve Reeves
Country:
New Zealand
Affiliation:
University of Waikato
Contributions
2022
FTSCS
Author of Modelling a Blockchain for Smart Contract Verification using DeepSEA within the Formal Techniques for Safety-Critical Systems-track
SPLASH
Author of Provably Correct Smart Contracts: An Approach using DeepSEA within the Posters-track
Share
x
Tue 12 Nov 20:47