Nelma Moreira
... all those moments will be lost, in time, like tears in rain.
Papers
Home
Projects
Teaching
ProgCon 2324
SLP 2023
VP 2024
Events
Software
Students
Lecture notes
DCC Tech Reports
CNM
Verificação Formal de Software -
CC4008
2019-2020
Horário de atendimento de dúvidas
6a 14-15 e 17.30-18.30 Gab. 1.20 (suspenso)
Destaque
Programa
Aulas
Exercícios
Ligações
Bibliografia
Acesso restrito a estudantes
Eventos
Home
>
Teaching
>
VFS 2020
>