Trace-Relating Compiler Correctness and Secure Compilation
archivo.pdf (831.2Kb)Indexation
Artículo de publicación ISI Artículo de publicación SCOPUS Artículo de publicación SCIELO
Identifier
URI: https://repositorio.uchile.cl/handle/2250/190954
DOI: 10.1007/978-3-030-44914-8_1
ISSN: 16113349
03029743
Collections
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 Chile