Lucas Freire, Miguel Neves, Alberto Schaeffer-Filho, and Marinho Barcellos. 2017.
 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>, November 06, 2017, Brasília, Brasil. SBC, Porto Alegre, Brasil, 306-319. DOI: <a href="https://doi.org/10.5753/sbseg.2017.19508">https://doi.org/10.5753/sbseg.2017.19508</a>.