Este artigo é privado e está apenas disponivel para membros do grupo: Professores de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2011/2012 ou Alunos de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2011/2012
Este artigo é privado e está apenas disponivel para membros do grupo: Professores de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2011/2012 ou Alunos de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2011/2012