Report - Disseny recursiugavalda/pro2/recursio.pdf · Correctesa d'un algorisme recursiu I A demostrar: Per a tots paràmetres x tal que Pre( x) és cert, l'algorisme acaba satisfent Post(

Please pass captcha verification before submit form