TP4

Entrega do trabalho a 13/06/2019 nas horas indicadas abaixo.
Para o Dafny ver tutorial e exemplos dados na aula. Caso tenham dúvidas enviem-me um email.

• Alberto Plácido Oliveira 14.00
• Ana Sofia Ferreira Martins 14.20
• Carolina Martins Barbosa Rodrigues Afonso 14.40
• Marina Filipa da Silva Gonçalves 15.00
• Milton Baptista Semedo Lopes 15.20

TP3
Entrega do trabalho a 17/05/2019 nas horas indicadas abaixo.
Para a pergunta 3 ver os exemplos de Spin da aula 9-10.

• Alberto Plácido Oliveira 17.15
• Ana Sofia Ferreira Martins 12.30
• Carolina Martins Barbosa Rodrigues Afonso 12.00
• Marina Filipa da Silva Gonçalves 18.15
• Milton Baptista Semedo Lopes 17.45