Statistiques de visualisation de la vidéo Cours approche formelle pour la qualité logicielle du 15 février 2022
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).