Sumários
Teórica #33
19 dezembro 2006, 10:00 • Carlos Caleiro
Prova da correcção total do programa Square&Multiply.
Lógica
15 dezembro 2006, 11:30 • João Rasga
Prova da correcção total de um programa com a estrutura de um ciclo inicializado (factorial) - conclusão.