Verificação Formal de Software - CC4008

Avaliação:
  • Teste intercalar : 40% (nota mínima: 6/20)
  • Trabalho Prático : 20%
  • Exame (ápoca normal): 40% (nota mínima: 6/20)
  • Exame recurso: 80%