Riesco Rodríguez, A. (2012). Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude.
Citación estilo ChicagoRiesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude = Declarative Debugging and Heterogeneous Verification in Maude. 2012.
Cita MLARiesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude = Declarative Debugging and Heterogeneous Verification in Maude. 2012.
Precaución: Estas citas no son 100% exactas.