A Solicitous Approach to Smart Contract Verification[J] ACM TRANSACTIONS ON PRIVACY AND SECURITY 2023(26) Otoni, Rodrigo Marescotti, Matteo Alt, Leonardo Eugster, Patrick Hyvarinen, Antti Sharygina, Natasha
