Filipe Meirim

Identifiers

• name variant Filipe Meirim 0.60 · backfill

Papers (2)

1. CISE3: Verifying Weakly Consistent Applications with Why3 cs.PL · 2020 · author #1
2. CISE3: Verifica\c{c}\~ao de aplica\c{c}\~oes com consist\^encia fraca em Why3 cs.PL · 2019 · author #1

Mentions

• 2010.06622 #1 · arxiv_oai · confidence 0.70 Filipe Meirim
• 1909.03721 #1 · arxiv_oai · confidence 0.70 Filipe Meirim

Frequent Coauthors

• Carla Ferreira 2 shared papers
• M\'ario Pereira 2 shared papers