Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT) | Publicación