Login / Signup
Simone Valentini
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
</>
Publications
</>
Chiara Braghin
,
Elvinia Riccobene
,
Simone Valentini
Modeling and verification of smart contracts with Abstract State Machines.
SAC
(2024)
Simone Valentini
,
Chiara Braghin
,
Elvinia Riccobene
A Modeling and Verification Framework for Ethereum Smart Contracts.
ABZ
(2024)