Informações sobre a unidade curricular | Métodos Formais para Sistemas Críticos | moodle2526

FEUP-M.EIC037-2025/2026-2S

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

Professor: João Fernando Peixoto Ferreira

Período: 2ºSemestre

Unidade Orgânica: FEUP

Ano Letivo: 2025/2026

Código: M.EIC037