O Simpósio Brasileiro de Métodos Formais ocorreu em Gramado de 19 a 21 de agosto
Portal institucional do Centro de Informática – UFPE
Endereço
Av. Jornalista Aníbal Fernandes, s/n – Cidade Universitária.
Recife-PE – Brasil
CEP: 50.740-560
Horário
Segunda–Sexta: 8:00–18:00