SIN6U50

UE Introduction à la vérification formelle

Unité d'enseignement (UE) de 3 crédits