Automating the verification of smart contracts in blockchain networks for improving security* | Publicación