FR∀M∃ lab.
Instituto de Computação
Universidade Federal Fluminense
Av. Gal. Milton Tavares de Souza, s/n
São Domingos - Niterói-RJ
CEP: 24210-346