Nelma Moreira
... all those moments will be lost, in time, like tears in rain.
Papers
Home
Projects
Teaching
ProgCon 2425
SLP 2024
VP 2025
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
>
Made in RapidWeaver
