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
Year of publication: 2020
Static Analysis - 27th International Symposium, SAS 2020, Proceedings
Volume: 12389 LNCS
Pages: 7-31
Type: Conference paper