Nelma Moreira
... all those moments will be lost, in time, like tears in rain.
Home
Papers
Projects
Events
Software
Students
Teaching
VFS 2019
CC 2019
Lecture notes
DCC Tech Reports
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
Atendimento de dúvidas: 3/7, 15h30-17h30
Teste (época normal)
Classificações
Eventos
Home
>
Teaching
>
VFS 2018
>