Monika Di Angelo, Gernot Salzer. A Survey of Tools for Analyzing Ethereum Smart Contracts. In IEEE International Conference on Decentralized Applications and Infrastructures, DAPPCON 2019, Newark, CA, USA, April 4-9, 2019. pages 69-78, IEEE, 2019. [doi]
Abstract is missing.