- Vérification : de la théorie à la pratique (externe) - SMACUB1 - Master Informatique - 5SIN - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2023-2024