Jo\~ao Santos Reis

Identifiers

• name variant Jo\~ao Santos Reis 0.60 · backfill

Papers (2)

1. WhylSon: Proving your Michelson Smart Contracts in Why3 cs.PL · 2020 · author #2
2. Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts cs.PL · 2020 · author #1

Mentions

• 2005.14650 #2 · arxiv_oai · confidence 0.70 Jo\~ao Santos Reis
• 2005.11839 #1 · arxiv_oai · confidence 0.70 Jo\~ao Santos Reis

Frequent Coauthors

• Sim\~ao Melo de Sousa 2 shared papers
• Lu\'is Pedro Arrojado da Horta 1 shared papers
• M\'ario Pereira 1 shared papers
• Paul Crocker 1 shared papers