Conférence ITP 2013 (Interactive Theorem Proving)
Invited talk 2
Rustan Leino
Principal researcher in the
RISE
group, at
Microsoft Research
Automating theorem proving with SMT
Wednesday, July 24th (duration: 65:28)
Abstract:
(later)
Les transparents
Retour sommaire
retour haut page
Retour Vidéothèque
© 2013
Pôle audiovisuel INRIA-Rennes