Síntesis de alto nivel guiada por gestión de patrones y descoposición de operaciones

Aquesta tesi apareix a les col·leccions següents