Notas de um curso de especificação e verificação da autoria de Mike Gordon (U. Cambridge)

Notas das aulas T e TP

Notas sobre análise de algoritmos (J. S. Pinto)

Enunciado do Trabalho Prático

Exame da 1ª Chamada