2013 articles  [version française]
.:. Browse > List by laboratories > Assistance, Conseil et Expertise .:.
1 document
fulltext access Etude de l'apport des méthodes formelles déductives pour les développements de sécurité
Jaeger E.
Université Pierre et Marie Curie - Paris VI (08/03/2010), Thérèse Hardin (Dir.) [tel-00468914 - version 1]