Quantitative Analysis of Smart Contracts.

Krishnendu Chatterjee Amir Kafshdar Goharshady Yaron Velner

Published in: CoRR (2018)

Keyphrases

quantitative analysis
qualitative analysis
qualitative evaluation
qualitative and quantitative analysis
supply chain
smart environments
smart spaces
cancer cells
enabling technologies
smart objects
principal agent