Cost analysis of smart contracts via parametric resource analysis

Detalles Bibliográficos
Autores: Pérez Carrasco, Víctor, Klemen, Maximiliano, López García, Pedro, Morales Caballero, José Francisco, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: capítulo de libro
Fecha de publicación:2020
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:70117
Acceso en línea:https://oa.upm.es/70117/
Access Level:acceso abierto
Palabra clave:Blockchain
Smart contracts
Parametric Resource Analysis
Static analysis
Constraint horn clauses
Program transformation
Descripción
Descripción no disponible.

Similares en LA Referencia