Estudio de la verificacion de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas
Tesis doctoral de Jorge Castro José Santiago El principal objetivo de esta tesis es la investigación de una metodología para […]