Identifiant pérenne de la notice : 154031496
Notice de type
Personne
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