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
Journal article
Publication
ACM Transactions on Privacy and Security

Add the full text or supplementary notes for the publication here using Markdown formatting.