Quantitative Analysis of Smart Contracts

Publication
European Symposium on Programming (ESOP)