A Solicitous Approach to Smart Contract Verification

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
January 2023
Cite DOI URL
Type
2
Publication
ACM Transactions on Privacy and Security