A Tool for Proving Michelson Smart Contracts in Why3

AuthID
 P-00T-AK8
4
Author(s)
da Horta, LPA
·
Reis, JS
·
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®
Publication Identifiers
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 place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service