Notice de personne
- Notice
000 00426c1 ap22000272 45
001 FRBNF151144014
008 061122150224xxengm 19.. a 1
031 .. $a 0000000048210059 $2 VIAF $d 20130805
045 .. $a a
100 .. $w .0..b..... $a Filliâtre $m Jean-Christophe
600 .. $a En poste : LRI, Inria Futurs, LIX, Université Paris Sud, Orsay, Essonne (en 2006)
610 .. $a Types for proofs and programs / Jean-Christophe Filliâtre, Christine Paulin-Mohring,
Benjamin Werner (eds.), cop. 2006
