- Teacher: Nuno Filipe Moreira Macedo
- Teacher: Alexandra Sofia Ferreira Mendes
Período: 2ºSemestre
Unidade Orgânica: FEUP
Ano Letivo: 2023/2024
Código: M.EIC037
FEUP-M.EIC037-2023/2024-2S
Métodos Formais para Sistemas Críticos
Enrolment options
Guests cannot access this course. Please log in.