18 dezembro 2007, 11:00 • Filipe Moura
Verificação da correcção parcial e total de programas imperativos.