Depuración declarativa de programas lógico funcionales

Tesis doctoral de Correa Zabala Francisco José La depuración de programas lógico funcionales es un importante problema práctico que ha […]

, , , , ,