Trigésima sexta aula
19 dezembro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Resolução de um exercício de exame sobre cálculo de Hoare, envolvendo uma regra derivada para DoUntil e a prova de correcção parcial de um programa simples.