WhylSon:  Proving your Michelson Smart Contracts in Why3 - Horta, Reis, Pereira and Melo de Sousa
Channel: FMBC 2020
Date: 2020-07-19

WhylSon: Proving your Michelson Smart Contracts in Why3, Luís Pedro Arrojado Horta, João Santos Reis, Mário Pereira and Simão Melo de Sousa