Quantitative Analysis of Smart Contracts

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
PDF Published version Slides
Type
Conference paper
Publication
European Symposium on Programming (ESOP)