Publications

A Tool for Proving Michelson Smart Contracts in Why3

AuthID
P-00T-AK8

Author(s)

da Horta, LPA

Reis, JS

de Sousa, SM

Pereira, M

Document Type

Proceedings Paper

Year published

2020

Published

in 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020) in Blockchain

Pages: 409-414 (6)

Conference

3Rd Ieee International Conference on Blockchain (Blockchain), Date: NOV 02-06, 2020, Location: ELECTR NETWORK, Sponsors: IEEE, IEEE Comp Soc, IEEE Tech Comm Scalable Comp

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/862824

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/blockchain50366.2020.00059

Dblp: conf/blockchain2/HortaRSP20

Scopus: 2-s2.0-85099184250

Wos: WOS:000647642100050

Export Publication Metadata

Marked List

Add to Marked List

Info

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

A Tool for Proving Michelson Smart Contracts in Why3

Useful Links

Get Help

Federated Authentication (Click on the image)

A Tool for Proving Michelson Smart Contracts in Why3

Useful Links

Get Help