Model-Based Static and Runtime Verification for Ethereum Smart Contracts.
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
VenueCMODELSWARD
Year2020
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/AzzopardiCP20b ↗
Browse the full MODELSWARD paper archive.