L. Freire, M. Neves, A. Schaeffer-Filho, and M. Barcellos.
" Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções", in <em>Proceedings of the 17th Brazilian Symposium on Information and Computational Systems Security</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>.