Ecole d'ingénieur et centre de recherche en Sciences du numérique

Zeineb ZHIOUA

Zeineb ZHIOUA
Zeineb ZHIOUA
Eurecom - Sécurité numérique 
Doctorant Cifre
04 93 00 82 00

Thèse

Spécification et Vérification Formelles des Règles de Bonnes Pratiques pour la Certification des Programmes

Rechercher