A Solicitous Approach to Smart Contract Verification
Informazioni aggiuntive
Autori
Sharygina N.,
Otoni R. B.,
Marescotti M.,
Alt L.,
Eugster P. T.,
Hyvärinen A.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2023
Lingua
Inglese
Periodico
ACM Transactions on Privacy and Security
Pagine (o numero dell’articolo)
15:1-15:28
DOI
