机构作者
Caldarelli, Giulio
文献数量：1
Ceccato, Mariano
文献数量：6
Olivieri, Luca
文献数量：3
Spoto, Fausto
文献数量：3
Tagliaferro, Fabio
文献数量：3
机构文献
On-Chain Smart Contract Verification over Tendermint[C]
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021
Summary of: A Federated Society of Bots for Smart Contract Testing[C]
2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021)
A federated society of bots for smart contract testing[J]
JOURNAL OF SYSTEMS AND SOFTWARE