Renato B. Abreu

Identifiers

• name variant Renato B. Abreu 0.60 · backfill

Papers (1)

1. Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking cs.SE · 2013 · author #1

Mentions

• 1305.2892 #1 · backfill · confidence 0.70 Renato B. Abreu

Frequent Coauthors

• Eddie B. L. Filho 1 shared papers
• Lucas Cordeiro 1 shared papers