Résumé de 338.044, VL Model Checking, Martina Seidl et al., 2024W

JavaScript est désactivé dans votre navigateur.
De nombreuses fonctionnalités de Moodle ne seront pas utilisables ou sembleront brisées.
Veuillez activer JavaScript pour profiter pleinement de l’expérience Moodle.