- Docente: 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
Opzioni di iscrizione
14X014
Iscrizione spontanea come 'Studente'
Gli ospiti non possono entrare in questo corso, per favore autenticati.