Publicações

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

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

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

Páginas: 409-414 (6)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/862824

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/blockchain50366.2020.00059

DBLP: conf/blockchain2/HortaRSP20

SCOPUS: 2-s2.0-85099184250

Wos: WOS:000647642100050

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

A Tool for Proving Michelson Smart Contracts in Why3

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Tool for Proving Michelson Smart Contracts in Why3

Links Úteis

Ajuda