Freire, L., 		Neves, M., 		Schaeffer-Filho, A., & 		Barcellos, M.
2017 nov  6.  Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções. Anais do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :