| Creators: | Cumming, Daniel K. and Utting, Mark and Dong, Naipeng and Cassez, Franck and Tork, Sadra B. and Risius, Marten |
|---|---|
| Title: | Verification of EVM Bytecode with Vale |
| Item Type: | Conference or Workshop Item |
| Event Title: | The 6th Symposium on distributed ledger technology (SDLT) |
| Event Location: | Gold Coast, Australia |
| Event Dates: | November, 22nd, 2022 |
| Projects: | IDI |
| Date: | 2023 |
| Divisions: | Informationsmanagement |
| Forthcoming: | No |
| Language: | English |
| Citation: | Cumming, Daniel K. and Utting, Mark and Dong, Naipeng and Cassez, Franck and Tork, Sadra B. and Risius, Marten (2023) Verification of EVM Bytecode with Vale. In: The 6th Symposium on distributed ledger technology (SDLT), November, 22nd, 2022, Gold Coast, Australia. |
Actions for admins (login required)
 |
View Item in edit mode |