Tesis de maestría Verification of webassembly programs Autor(es): Ocampo Herrera, Diego Ignacio
Fecha de publicación: 2019
Institución: Agencia Nacional de Investigación e Innovación