Volver atrás Publicación
Bacci Giovanni, MARCO COMINI, Feliú Gabaldón Marco Antonio, Villanueva García Alicia
2012
Automatic synthesis of specifications for first order curry programs
