Defining the ethereum virtual machine for interactive theorem provers
| Title | Defining the ethereum virtual machine for interactive theorem provers |
| Authors | Hirai, Yoichi |
| Year | 2017 |
Videos
Resources
–
| Title | Defining the ethereum virtual machine for interactive theorem provers |
| Authors | Hirai, Yoichi |
| Year | 2017 |
–