img-logoInria img-logoProveandRun

img-PosteRepublique-Rennes

Conférence ITP 2013 (Interactive Theorem Proving)

Invited talk 2

img-ITP2013RustanLeino Rustan Leino

Principal researcher in the RISE group, at Microsoft Research

Automating theorem proving with SMT

Wednesday, July 24th (duration: 65:28)

Abstract: (later)
img-logoPDF Les transparents