On-Chain Smart Contract Verification over Tendermint[C] FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021 2021(12676) Olivieri, Luca Spoto, Fausto Tagliaferro, Fabio
