APA Citation

Riesco Rodríguez, A. (2011). Depuración declarativa y verificación heterogénea en Maude: Declarative debugging and heterogeneous verification in Maude. Madrid: Universidad Complutense de Madrid.

Chicago Style Citation

Riesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude: Declarative Debugging and Heterogeneous Verification in Maude. Madrid: Universidad Complutense de Madrid, 2011.

MLA Citation

Riesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude: Declarative Debugging and Heterogeneous Verification in Maude. Madrid: Universidad Complutense de Madrid, 2011.

Warning: These citations may not always be 100% accurate.