C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Roberto Pettinau
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Face Verification
Visualization Tool
Relational Databases
Data Model
Top Venues
CoRR
</>
Publications
</>
Massimo Bartoletti
,
Fabio Fioravanti
,
Giulia Matricardi
,
Roberto Pettinau
,
Franco Sainas
Towards benchmarking of Solidity verification tools.
CoRR
(2024)