Exportar referência
APA
Ferreirinha, Luís Pedro Félix, (2024). Removal of vulnerabilities in binary code by program model checking and concolic execution. https://repositorio.ulisboa.pt/handle/10400.5/95544 Medeiros, Ibéria Vitória de Sousa,
IEEE
Ferreirinha, Luís Pedro Félix, "Removal of vulnerabilities in binary code by program model checking and concolic execution", 2024.
BIBTEX
@MastersThesis{62198,
author = {Ferreirinha, Luís Pedro Félix},
title = {Removal of vulnerabilities in binary code by program model checking and concolic execution},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2024},
OPTtype = {Documentos Académicos}
}