RT Dissertation/Thesis
T1 Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
A1 Riesco Rodríguez, Adrián
PB Unviersidad Complutense de Madrid, Servicio de Publicaciones
SN 978-84-695-1107-7
YR 2012
FD 2012-01-20
LK https://hdl.handle.net/20.500.14352/48009
UL https://hdl.handle.net/20.500.14352/48009
LA eng
NO Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011
DS Docta Complutense
RD 27 abr 2025