Publications

Formal Verification of Ethereum Smart Contracts Using Isabelle/Hol

AuthID
P-00T-0VH

Author(s)

Ribeiro, M

Adão, P

Mateus, P

Document Type

Book Chapter

Year published

2020

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 12300 LNCS, Pages: 71-97

Indexing

Scopus^®

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-62077-6_7

Scopus: 2-s2.0-85094971259

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Formal Verification of Ethereum Smart Contracts Using Isabelle/Hol

Useful Links

Get Help

Federated Authentication (Click on the image)

Formal Verification of Ethereum Smart Contracts Using Isabelle/Hol

Useful Links

Get Help