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
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

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