Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms. - Mauro C. Argañaraz; Mario Marcelo Berón; Maria João Varanda Pereira; Pedro Rangel Henriques (SLATE, 2020)