Citações do registo

Citação norma APA

Munuera Mazarro, D. (2023). Specification and verification of WebAssembly programs.

Citação norma Chicago

Munuera Mazarro, David. Specification and Verification of WebAssembly Programs. 2023.

Citação norma MLA

Munuera Mazarro, David. Specification and Verification of WebAssembly Programs. 2023.

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

Warning: fopen(/tmp/vufind_sessions/sess_v3l68fr6p07342ov8fdvuhj810): 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_v3l68fr6p07342ov8fdvuhj810
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