Freire, L., 		Neves, M., 		Schaeffer-Filho, A., & 		Barcellos, M.
(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>, (pp. 306-319). Porto Alegre: SBC.
doi:10.5753/sbseg.2017.19508