mtmt
The Hungarian Scientific Bibliography
XML
JSON
Public search
Magyarul
DISTRIBUTED LEDGER TECHNOLOGY, SDLT 2023
Pillai, B [ed.]
;
Dong, N [ed.]
;
Bai, G [ed.]
;
Utting, M [ed.]
English Conference proceedings (Book) Scientific
Published: Springer-Verlag Singapore; Springer Singapore Pte. Limited, Singapore, Singapore
2024
Conference:
7th International Symposium on Distributed Ledger Technology (SDLT) 2023-11-30 [Brisbane, Australia]
Series:
Communications in Computer and Information Science 1865-0929 1865-0937
Identifiers
MTMT: 35348563
ISBN:
9789819700059
ISBN:
9789819700066
Chapters
Cumming Daniel et al. EVM-Vale: Formal Verification of EVM Bytecode Using Vale. (2024) In: DISTRIBUTED LEDGER TECHNOLOGY, SDLT 2023 pp. 39-54
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
CSL
Copy
Print
2025-04-26 00:20
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy