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
Any de publicació: 2020
Static Analysis - 27th International Symposium, SAS 2020, Proceedings
Volum: 12389 LNCS
Pàgines: 7-31
Tipus: Aportació congrés