Verificação Formal de Software - CC4008
2017-2018

Stacks Image 60

Horário de atendimento de dúvidas

6a 11-12 e 17-18 Gab. 1.20 (enviar email antes).

Destaque

Trabalho Prático: prazo de entrega 1 de junho
Notas do teste intercalar (Nota: o exame da época normal também poderá ser feito para 80% da classificação)
Aulas 21 e 22
Exercícios

Eventos