Francois Clement (INRIA Rocquencourt)

Identifiers

• name variant Francois Clement (INRIA Rocquencourt) 0.60 · backfill

Papers (1)

1. Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program cs.LO · 2011 · author #3

Mentions

• 1112.1795 #3 · backfill · confidence 0.70 Francois Clement (INRIA Rocquencourt)

Frequent Coauthors

• Guillaume Melquiond (INRIA Saclay - Ile de France 1 shared papers
• INRIA Grenoble Rh\^one-Alpes / LIP Laboratoire de l'Informatique du Parall\'elisme) 1 shared papers
• Jean-Christophe Filli\^atre (INRIA Saclay - Ile de France 1 shared papers
• LRI) 1 shared papers
• Micaela Mayero (LIPN 1 shared papers
• Pierre Weis (INRIA Rocquencourt) 1 shared papers
• Sylvie Boldo (INRIA Saclay - Ile de France 1 shared papers