Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

Thumbnail Image

Download

Download 978-3-031-10769-6_1.pdf (228.34 KB)

Official URL

https://link.springer.com/chapter/10.1007/978-3-031-10769-6_1

Full text at PDC

Publication date

2022

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/96669

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Artículos