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
Showing 2021 · econ.GNShow all

Nothing from them under that filter.

Their other years and fields are still on the left.