| Métodos Formais em Engenharia de Software |
|---|
| Cálculo de Sistemas de Informação |
| Programação Ciber-física |
| Verificação Formal |
| Anos anteriores |
| Calendário | Sumários |
| Alumni |
12-Out - Como se avisou na semana passada e consta dos sumários, não haverá aulas esta semana (docente em missão no estrangeiro). Essa aula será reposta mais tarde.
17-Set - As aulas terão início a 25-Set, cf. sumários.
13-Set - Página em construção – pf consultar, para já, a página do ano passado até que esta esteja com informação actualizada.