Rebiha, R., & 		Moura, A.
(2012).
 Métodos Formais Algébricos para Geração de Invariantes.
In <em>Anais do XXV Concurso de Teses e Dissertações</em>, (pp. 13-18). Porto Alegre: SBC.