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

• DIM0805 - Especificações Formais material
• Estudo Orientado