Micha\"el P\'erin (VERIMAG - Imag)

Identifiers

• name variant Micha\"el P\'erin (VERIMAG - Imag) 0.60 · backfill

Papers (2)

1. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra cs.PL · 2013 · author #3
2. Gentzen-Prawitz Natural Deduction as a Teaching Tool cs.LO · 2009 · author #3

Mentions

• 1304.0864 #3 · backfill · confidence 0.70 Micha\"el P\'erin (VERIMAG - Imag)
• 0907.3599 #3 · backfill · confidence 0.70 Micha\"el P\'erin (VERIMAG - Imag)

Frequent Coauthors

• Alexis Fouilh\'e (VERIMAG - IMAG) 1 shared papers
• Cristian Ene (VERIMAG - Imag) 1 shared papers
• David Monniaux (VERIMAG - Imag) 1 shared papers
• Jean-Fran\c{c}ois Monin (VERIMAG - Imag) 1 shared papers