Voltar aos Detalhes do Artigo
LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects
Baixar
##common.downloadPdf##