"Practical and Provably Sound Static Analysis of Ethereum Smart Contracts."

Matteo Maffei (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics