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
2017-2018
Horário de atendimento de dúvidas
6a 11-12 e 17-18 Gab. 1.20 (enviar email antes).
Destaque
Aulas
Exercicios
Programa
Biblografia
Teste (época normal)
Eventos
Home
>
Teaching
>
VFS 2018
>