Práticas de VFS 2012/2013

Calendarização de trabalhos

  1. 11/03 - LTL
  2. 8/04 - CTL
  3. 9/05 - Algoritmos de MC
  4. 20/05 - Lógica de Hoare
  5. 3/06 - VCGen-Frama-C - Why3

Notas Finais dos Trabalhos Práticos (em 15)


André Lopes Pereira 11.03
Cristiano Sousa 8.30
Eder Moreno 7.21
Edgard Neto 14.17
Eduardo Lima 8.07
Filipe Martins 9.67
Ivo Araújo 6.5
Júlio Rodrigues 12.12
Justino Lopes 8.72
Luís Moreira 2.18
Mário Pereira 13.79
Nino Rocha 9.04
Pedro Gonçalves 13.70
Vítor Sousa 9.26
Vasco Themudo 4.67