TY  - RPRT
TI  - WhylSon: Proving your Michelson Smart Contracts in Why3
AU  - Luís Pedro Arrojado da Horta
AU  - João Santos Reis
AU  - Mário Pereira
AU  - Simão Melo de Sousa
PY  - 2020
UR  - https://arxiv.org/abs/2005.14650
ID  - 2005.14650
ER  -