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
Exercícios de Verificação Formal de Software
Reservado a estudantes autenticados.
Home
>
Teaching
>
VFS 2020
>
Exercícios
>