Detection of vulnerabilities in smart contracts specifications in ethereum platforms - Argañaraz, Mauro (2020)