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