Identifiant pérenne de la notice : 093668392
Notice de type
Personne
A PCC Architecture based on Certified Abstract Interpretation / Frédéric Besson, 2005
Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java
certifiés / David Pichardie, 2005
http://id.loc.gov/authorities/names/nb2013016154, 2019-11-07
Information trouvée : Pichardie, David
http://people.irisa.fr/David.Pichardie/, 2019-11-07
Information trouvée : Informaticien. Professeur, membre de l'équipe Software certification with semantic
analysis (CELTIQUE), Institut de recherche en informatique et systèmes aléatoires
(IRISA, UMR 6074), École normale supérieure, Rennes
Source consultée en vain : http://catalogue.bnf.fr, 2019-11-07
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial