Roberto Bruttomesso (Universit\`a degli Studi di Milano

Identifiers

• name variant Roberto Bruttomesso (Universit\`a degli Studi di Milano 0.60 · backfill

Papers (1)

1. Quantifier-Free Interpolation of a Theory of Arrays cs.LO · 2012 · author #1

Mentions

• 1204.2386 #1 · backfill · confidence 0.70 Roberto Bruttomesso (Universit\`a degli Studi di Milano

Frequent Coauthors

• Department of Computer Science) 1 shared papers
• Silvio Ghilardi (Universit\`a degli Studi di Milano 1 shared papers
• Silvio Ranise (Fondazione Bruno Kessler 1 shared papers
• Trento) 1 shared papers