Results (2)

  • Quantitative analysis of smart contracts
    Conference paper