A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Saved in:
Bibliographic Details
Published inPrinciples of Security and Trust Vol. 10804
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Online AccessGet full text

Cover

More Information
ISBN:9783319897219
3319897217
DOI:10.1007/978-3-319-89722-6_10