Scilla: a Smart Contract Intermediate-Level LAnguage
| Title | Scilla: a Smart Contract Intermediate-Level LAnguage |
| Authors | Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas |
| Year | 2018 |
Videos
| Title | Scilla: a Smart Contract Intermediate-Level LAnguage |
| Authors | Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas |
| Year | 2018 |