Vérification de modules critiques écrits en Rust de systèmes d’exploitation pour l’internet des objets – DΘctΩrant·Σs

Par Flo GROULT

Radio Campus Orléans 88.3 FM