paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 154031496Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Jaeger, Éric (1971-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais,français
Pays : France
Date de naissance :    1971
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse de doctorat en philosophie des sciences informatiques soutenue en 2010 à l'Université Pierre et Marie Curie - Paris 6

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/194144387

Source

Study of the benefits of using deductive formal methods for secure developments / Éric Jaeger ; sous la direction de Thérèse Hardin. Thèse de doctorat : Philosophie des sciences informatiques : Paris 6 : 2010

... Références liées : ...