- Enseignant-e: Damien Morard
Course available on GitLab:
https://gitlab.unige.ch/smv/outils-formels-avanc-s/ressources-2024
Requirement course from the last semester:
https://gitlab.unige.ch/modelisation-verification/modelisation-verification-2023
Outils Formels Avancés 2024
Options d’inscription
14X014
Auto-inscription en tant que « Étudiant-e »
Veuillez vous connecter pour accèder à ce cours.