Citações do registo

Citação norma APA

Riesco Rodríguez, A. (2012). Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude.

Citação norma Chicago

Riesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude = Declarative Debugging and Heterogeneous Verification in Maude. 2012.

Citação norma MLA

Riesco Rodríguez, Adrián. Depuración Declarativa Y Verificación Heterogénea En Maude = Declarative Debugging and Heterogeneous Verification in Maude. 2012.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.

Warning: fopen(/tmp/vufind_sessions/sess_d3ov8139sq9mp15klli0bm8fbc): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_d3ov8139sq9mp15klli0bm8fbc
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234