Rachid Rebiha and Arnaldo Moura. 2012.
 Métodos Formais Algébricos para Geração de Invariantes. In <em>Anais do XXV Concurso de Teses e Dissertações</em>, julho 16, 2012, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 13-18.