TY  - THES
AU  - Riesco Rodríguez, Adrián
A3  - Verdejo López, José Alberto
A3  - Martí Oliert, Narciso
PY  - 2012
SN  - 978-84-695-1107-7
UR  - https://hdl.handle.net/20.500.14352/48009
LA  - eng
PB  - Unviersidad Complutense de Madrid, Servicio de Publicaciones
KW  - Declarative debugging
KW  - Maude
KW  - Depuración declarativa
KW  - Programación declarativa
TI  - Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
M3  - doctoral thesis
ER  -