Report - Transformación asistida de programas funcionaleseprints.ucm.es/8916/1/Memoria.pdf · 2.5. Logros y limitaciones ... basado en el principio de inducción estructural. HERA [HERA]

Please pass captcha verification before submit form