Christine Paulin

Learn More
Stage de DEA réalisé par David Monniaux sous la direction de Patrick Cousot au laboratoire d'informatique de l'École normale supérieure, Paris, 1998. Ce rapport est présenté pour l'obtention du diplôme d'études approfondies (DEA) sémantique, preuves, programmation, cohabilité par les universités Paris VI (Pierre et Marie Curie), Paris VII (Denis Diderot),(More)
Vers une certification de l'extraction de Coq présentée et soutenue publiquement par Stéphane Glondu le 1 er juin 2012 devant le jury composé de directeur M. Matthias et Nicolas.. . et je m'excuse auprès de ceux que j'aurais pu oublier ! Je tiens aussi à remercier Odile Ainardi, qui m'a apporté son aide tout au long de ma thèse. Je voudrais aussi remercier(More)
  • 1