membro de Métodos Formais e Fundamentos Matemáticos da Ciência da Computação Grupo de Pesquisa Theoretical Computer Science Grupo de Pesquisa
publicações selecionadas Evolution of negative application conditions in second-order graph rewriting
