Unité d'enseignement - Vérification : de la théorie à la pratique - SMACUB1 - Master Mathématiques et applications - 5SMA - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2023-2024