- Enseignant·e: Julien Audiffren
- Enseignant·e: Yingying Chen
- Enseignant·e: Ulrich Ultes-Nitsche
SIN.06021 Formal Methods [SP-2026]
Options d’inscription
Auto-inscription (Étudiant·e)
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.