A Solicitous Approach to Smart Contract Verification
Additional information
Authors
Sharygina N.,
Otoni R. B.,
Marescotti M.,
Alt L.,
Eugster P. T.,
Hyvärinen A.
Type
Journal Article
Year
2023
Language
English
Journal
ACM Transactions on Privacy and Security
Pages (or article number)
15:1-15:28
DOI
