Cost Analysis of Smart Contracts Via Parametric Resource Analysis
- Pérez, V.
- Klemen, M.
- López-García, P.
- Morales, J.F.
- Hermenegildo, M.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030654733
Datum der Publikation: 2020
Static Analysis - 27th International Symposium, SAS 2020, Proceedings
Ausgabe: 12389 LNCS
Seiten: 7-31
Art: Konferenz-Beitrag