Verdejo López, José AlbertoMartí Oliert, NarcisoRiesco Rodríguez, Adrián2023-06-202023-06-202012-01-20978-84-695-1107-7https://hdl.handle.net/20.500.14352/48009Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011engDepuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maudedoctoral thesisopen access004.42.048(043.2)Declarative debuggingMaudeDepuración declarativaProgramación declarativaLenguajes de programación1203.23 Lenguajes de Programación