- Professor: Nuno Filipe Moreira Macedo
- Professor: 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
Opções de inscrição
O acesso de visitantes a esta unidade curricular não é permitido, por favor, autentique-se