Education
Introduction A computationally sound prover A computationally sound logic
Bruno Blanchet1, David Monniaux1, David Pointcheval1 Jean Goubault-Larrecq2, Mathieu Baudet2, Steve Kremer2 Véronique Cortier3, Mathieu Turuani3, Bogdan Warinshi3 Martín Abadi4[5mm] 1liens 2lsv 3loria 4ucsc & Microsoft Research