Summary of Métodos Formais para Sistemas Críticos | moodle2324

FEUP-M.EIC037-2023/2024-2S

Métodos Formais para Sistemas Críticos (FEUP-M.EIC037-2023/2024-2S)

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