GMF
Grupo de Pesquisa em Métodos Formais
Formal Methods Research Group

Contact

Instituto de Computação
Rua Passo da Pátria, 156 - Bloco E - 3o. andar
São Domingos, Niterói - RJ, CEP 24.210-240
tel\fax.: +55(21)2722-4446
Instituto de Matemática
Rua Mário Santos Braga s/n
Valonguinho, Niterói - RJ, CEP 24.020-140
tel.: +55(21)2717-8855