@misc{indiciae3b48aa3bc511,
  title = {WhylSon: Proving your Michelson Smart Contracts in Why3},
  author = {Luís Pedro Arrojado da Horta and João Santos Reis and Mário Pereira and Simão Melo de Sousa},
  year = {2020},
  url = {https://arxiv.org/abs/2005.14650},
  note = {Source identifier: 2005.14650}
}