Sim\~ao Melo de Sousa

Identifiers

• name variant Sim\~ao Melo de Sousa 0.60 · backfill

Papers (3)

1. WhylSon: Proving your Michelson Smart Contracts in Why3 cs.PL · 2020 · author #4
2. Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts cs.PL · 2020 · author #3
3. Revisiting concurrent separation logic cs.LO · 2017 · author #3

Mentions

• 2005.14650 #4 · arxiv_oai · confidence 0.70 Sim\~ao Melo de Sousa
• 2005.11839 #3 · arxiv_oai · confidence 0.70 Sim\~ao Melo de Sousa
• 1712.01631 #3 · arxiv_oai · confidence 0.70 Sim\~ao Melo de Sousa

Frequent Coauthors

• Jo\~ao Santos Reis 2 shared papers
• Ant\'onio Ravara 1 shared papers
• Lu\'is Pedro Arrojado da Horta 1 shared papers
• M\'ario Pereira 1 shared papers
• Paul Crocker 1 shared papers
• Pedro Soares 1 shared papers