Master Parisien de Recherche en Informatique
2009-10
cours 2-7-2
Assistants de preuve
Christine Paulin-Mohring, Benjamin Werner,
Bruno Barras, Hugo Herbelin,
Jean-Christophe Filliâtre, Claude Marché

 


Ce document a été traduit de LATEX par HEVEA