Report - Correctesa de Programes Iteratius i Programació Recursiva › pro2 › data › uploads › it_rec_corr.pdf · Ambdós principis són molt utilitzats per a demostrar propietats bàsiques

Please pass captcha verification before submit form