Roberto Blanco (Inria

Identifiers

• name variant Roberto Blanco (Inria 0.60 · backfill

Papers (1)

1. Proof Outlines as Proof Certificates: A System Description cs.LO · 2015 · author #1

Mentions

• 1511.04178 #1 · backfill · confidence 0.70 Roberto Blanco (Inria

Frequent Coauthors

• Dale Miller (Inria 1 shared papers
• LIX) 1 shared papers