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
| Title | Formal verification of Deed contract in Ethereum name service |
| Authors | Hirai, Yoichi |
| Year | 2016 |