Disciplinas na Graduação:
-
DIM0336 - Especificação e Verificação de Programas: material disponível na
intranet
-
DIM0072 - Técnicas de Especificação Formal: material disponível na
intranet
Disciplinas na Pós-Graduação:
-
DIM0805 - Especificações Formais
material
-
Estudo Orientado