2a e 4a das 14.30-17.30 (com marcação prévia por email)

Trabalhos (data de entrega)/ Assignments (delivering date)

31/03 - Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
18/05 - Correção de programas imperativos usando uma ferramenta de prova
15/06 - Demonstradores automáticos e interactivos

Exame época normal :: 15/06 às 14h00