![](/img/cover-not-exists.png)
[IEEE 2020 IEEE International Conference on Blockchain (Blockchain) - Rhodes Island (2020.11.2-2020.11.6)] 2020 IEEE International Conference on Blockchain (Blockchain) - A tool for proving Michelson Smart Contracts in WHY3 *
Arrojado da Horta, Luis Pedro, Santos Reis, Joao, de Sousa, Simao Melo, Pereira, MarioYear:
2020
DOI:
10.1109/blockchain50366.2020.00059
File:
PDF, 108 KB
2020