L. Freire, M. Neves, A. Schaeffer-Filho, and M. Barcellos.
"Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções", in <em>Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Brasília, 2017, pp. 306-319, doi: <a href="https://doi.org/10.5753/sbseg.2017.19508">https://doi.org/10.5753/sbseg.2017.19508</a>.