membro de Engenharia de Sistemas e Informação Grupo de Pesquisa Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa