Laboratório 5

4 fevereiro 2022, 17:00 • Xavier Batista Fernandes

Laboratório sobre projecto de máquinas de estados e sua verificação usando ferramentas de simulação.