Lu\'is Pedro Arrojado da Horta

Identifiers

• name variant Lu\'is Pedro Arrojado da Horta 0.60 · backfill

Papers (1)

1. WhylSon: Proving your Michelson Smart Contracts in Why3 cs.PL · 2020 · author #1

Mentions

• 2005.14650 #1 · arxiv_oai · confidence 0.70 Lu\'is Pedro Arrojado da Horta

Frequent Coauthors

• Jo\~ao Santos Reis 1 shared papers
• M\'ario Pereira 1 shared papers
• Sim\~ao Melo de Sousa 1 shared papers