Lógica e Verificação de Modelos
pt
en
Orais de LVM
29 janeiro 2020, 15:31
•
Paulo Alexandre Carreira Mateus
O doodle para as orais é
este
!
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Lecture notes and Labs