activity
20182021
most citedTowards Safer Smart Contracts: A Survey of Languages and Verification Methods

75 citations · 147 across the 2 of their papers we have counts for

collaborators

5 papers