Unité d'enseignement - Introduction à la vérification formelle - SIN6U50 - Licence Informatique - 3SIN - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2024-2025