%0 Thesis
%A Riesco Rodríguez, Adrián
%T Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
%D 2012
%U https://hdl.handle.net/20.500.14352/48009
%~