Résultat de recherche par an
Superviseur: Dumas, B. (Promoteur) & Maquoi, J. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques