Coinresear.ch
About Papers [1093] Stats Tags

Formal verification of Deed contract in Ethereum name service

Title Formal verification of Deed contract in Ethereum name service
Authors Hirai, Yoichi
Year 2016





Videos



Links

  • Slides of the talk at Ethereum Meetup Berlin (2016)

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies