Jo\~ao Edgar Filho

Identifiers

• name variant Jo\~ao Edgar Filho 0.60 · backfill

Papers (1)

1. SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers cs.SY · 2014 · author #3

Mentions

• 1403.5172 #3 · arxiv_oai · confidence 0.70 Jo\~ao Edgar Filho
• 1403.5172 #3 · backfill · confidence 0.70 Jo\~ao Edgar Filho

Frequent Coauthors

• Iury Bessa 1 shared papers
• Lucas Cordeiro 1 shared papers
• Renato Abreu 1 shared papers