Items where Author is "Cumming, Daniel K."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

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.


Hochschule für angewandte Wissenschaften Neu-Ulm | Neu-Ulm University of Applied Sciences
Wileystraße 1, D-89231 Neu-Ulm | Phone: 0731 9762-0, E-Mail: info@hnu.de