WhylSon: Proving your Michelson Smart Contracts in Why3
| Title | WhylSon: Proving your Michelson Smart Contracts in Why3 |
| Authors | da Horta, Lu{\'\i}s Pedro Arrojado and Reis, Jo{\~a}o Santos and Pereira, M{\'a}rio and de Sousa, Sim{\~a}o Melo |
| Year | 2020 |
Videos
–