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>Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, novembro 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>.